( en | de | ru )

 

Disambiguation of "Sánchez-Hernández, Jaime"

Author of the publication

copydeleteadd this publication to your clipboard
Disequalities May Help to Narrow.

, and . APPIA-GULP-PRODE, page 89-104. (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jaime Hernández Camacho

Jaime Sánchez-Barriga

David Sánchez Sánchez

Stephanie Hernández

Héctor Hernández

 

Other publications of authors with the same name

A simple rewrite notion for call-time choice semantics., , and . PPDP, page 197-208. ACM, (2007)Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics., , and . INAP/WLP, volume 5437 of Lecture Notes in Computer Science, page 206-222. Springer, (2007)TOY: A Multiparadigm Declarative System., and . RTA, volume 1631 of Lecture Notes in Computer Science, page 244-247. Springer, (1999)Proving Failure in Functional Logic Programs., and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 179-193. Springer, (2000)A Fully Abstract Semantics for Constructor Systems., , and . RTA, volume 5595 of Lecture Notes in Computer Science, page 320-334. Springer, (2009)Constructive Failure in Functional-Logic Programming: From Theory to Implementation.. J. Univers. Comput. Sci., 12 (11): 1574-1593 (2006)Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems., , , and . LPAR (short papers), volume 26 of EPiC Series in Computing, page 9-22. EasyChair, (2013)HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems., , and . Inf. Comput., (2020)White-Box Path Generation in Recursive Programs., and . TFP, volume 12222 of Lecture Notes in Computer Science, page 121-135. Springer, (2020)Rewriting and Call-Time Choice: The HO Case., , and . FLOPS, volume 4989 of Lecture Notes in Computer Science, page 147-162. Springer, (2008)