( en | de | ru )

 

Disambiguation of "Arenas-Sánchez, Puri"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Lazy Narrowing with Disequality Constraints.

, , and . PLILP, volume 844 of Lecture Notes in Computer Science, page 385-399. Springer, (1994)

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.

David Sánchez Sánchez

Antonia Sánchez

Yerson Sánchez

Nydia Sánchez

David Sánchez

 

Other publications of authors with the same name

A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types., and . Theory Pract. Log. Program., 1 (2): 185-245 (2001)Embedding Multiset Constraints into a Lazy Functional Logic Language., , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 429-444. Springer, (1998)A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types., and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 453-464. Springer, (1997)A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types, and . CoRR, (2004)A Debugging Model for Lazy Functional Logic Languages., and . GULP-PRODE (2), page 117-131. (1994)A Minimality Study for Set Unification., and . J. Funct. Log. Program., (1997)Combining Lazy Narrowing with Disequality Constraints., , and . PLILP, volume 844 of Lecture Notes in Computer Science, page 385-399. Springer, (1994)Minimal Set Unification, and . PLILP, volume 982 of Lecture Notes in Computer Science, page 397-414. Springer, (1995)Reduced Certificates for Abstraction-Carrying Code., , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 163-178. Springer, (2006)Functional Plus Logic Programming with Built-In and Symbolic Constraints., , and . PPDP, volume 1702 of Lecture Notes in Computer Science, page 152-169. Springer, (1999)