Author of the publication

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.

 

Other publications of authors with the same name

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)A simple rewrite notion for call-time choice semantics., , and . PPDP, page 197-208. ACM, (2007)Formalizing a Broader Recursion Coverage in SQL., , , and . PADL, volume 7752 of Lecture Notes in Computer Science, page 93-108. Springer, (2013)Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation., , and . FLOPS, volume 4989 of Lecture Notes in Computer Science, page 289-304. Springer, (2008)Rewriting and Call-Time Choice: The HO Case., , and . FLOPS, volume 4989 of Lecture Notes in Computer Science, page 147-162. Springer, (2008)Functional Logic Programming with Failure: A Set-Oriented View., and . LPAR, volume 2250 of Lecture Notes in Computer Science, page 455-469. Springer, (2001)Equivalence of Two Formal Semantics for Functional Logic Programs., , and . Electron. Notes Theor. Comput. Sci., (2007)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)Constructive Failure in Functional-Logic Programming: From Theory to Implementation.. J. UCS, 12 (11): 1574-1593 (2006)