From post

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.

 

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

Dynamic-Cut with Definitional Trees., и . FLOPS, том 2441 из Lecture Notes in Computer Science, стр. 245-258. Springer, (2002)Extensions: A Technique for Structuring Functional-Logic Programs., и . Ershov Memorial Conference, том 1755 из Lecture Notes in Computer Science, стр. 297-310. Springer, (1999)A Complete Axiomatization of Strict Equality., и . FLOPS, том 6009 из Lecture Notes in Computer Science, стр. 118-133. Springer, (2010)Embedding Multiset Constraints into a Lazy Functional Logic Language., , и . PLILP/ALP, том 1490 из Lecture Notes in Computer Science, стр. 429-444. Springer, (1998)TOY: A Multiparadigm Declarative System., и . RTA, том 1631 из Lecture Notes in Computer Science, стр. 244-247. Springer, (1999)Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics., , и . INAP/WLP, том 5437 из Lecture Notes in Computer Science, стр. 206-222. Springer, (2007)An Approach to Declarative Programming Based on a Rewriting Logic., , , и . J. Log. Program., 40 (1): 47-87 (1999)A simple rewrite notion for call-time choice semantics., , и . PPDP, стр. 197-208. ACM, (2007)Programming and Languages.. J. Univers. Comput. Sci., 12 (11): 1464-1465 (2006)Extra Variables Can Be Eliminated from Functional Logic Programs., и . PROLE, том 188 из Electronic Notes in Theoretical Computer Science, стр. 3-19. Elsevier, (2006)