( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Real Constraints within a Functional Logic Language.

, , , и . APPIA-GULP-PRODE, стр. 451-464. (1996)

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.

David Sánchez Sánchez

Antonia Sánchez

Yerson Sánchez

Nydia Sánchez

David Sánchez

 

Другие публикации лиц с тем же именем

A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types., и . Theory Pract. Log. Program., 1 (2): 185-245 (2001)Embedding Multiset Constraints into a Lazy Functional Logic Language., , и . PLILP/ALP, том 1490 из Lecture Notes in Computer Science, стр. 429-444. Springer, (1998)A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types., и . TAPSOFT, том 1214 из Lecture Notes in Computer Science, стр. 453-464. Springer, (1997)A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types, и . CoRR, (2004)Minimal Set Unification, и . PLILP, том 982 из Lecture Notes in Computer Science, стр. 397-414. Springer, (1995)Combining Lazy Narrowing with Disequality Constraints., , и . PLILP, том 844 из Lecture Notes in Computer Science, стр. 385-399. Springer, (1994)A Debugging Model for Lazy Functional Logic Languages., и . GULP-PRODE (2), стр. 117-131. (1994)A Minimality Study for Set Unification., и . J. Funct. Log. Program., (1997)Reduced Certificates for Abstraction-Carrying Code., , , и . ICLP, том 4079 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2006)Real Constraints within a Functional Logic Language., , , и . APPIA-GULP-PRODE, стр. 451-464. (1996)