( en | de | ru )

 

Disambiguation of "López-Fraguas, Francisco Javier"

Author of the publication

copydeleteadd this publication to your clipboard
An Approach to Declarative Programming Based on a Rewriting Logic.

, , , and . J. Log. Program., 40 (1): 47-87 (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.

Francisco Javier Peula López

Francisco Javier López Villanueva

Francisco Javier Peula López

Francisco López-Casero

Francisco Asís López Fuentes

 

Other publications of authors with the same name

A simple rewrite notion for call-time choice semantics., , and . PPDP, page 197-208. ACM, (2007)A Complete Axiomatization of Strict Equality., and . FLOPS, volume 6009 of Lecture Notes in Computer Science, page 118-133. Springer, (2010)TOY: A Multiparadigm Declarative System., and . RTA, volume 1631 of Lecture Notes in Computer Science, page 244-247. Springer, (1999)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)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)An Approach to Declarative Programming Based on a Rewriting Logic., , , and . J. Log. Program., 40 (1): 47-87 (1999)Dynamic-Cut with Definitional Trees., and . FLOPS, volume 2441 of Lecture Notes in Computer Science, page 245-258. Springer, (2002)Extensions: A Technique for Structuring Functional-Logic Programs., and . Ershov Memorial Conference, volume 1755 of Lecture Notes in Computer Science, page 297-310. Springer, (1999)Programming and Languages.. J. Univers. Comput. Sci., 12 (11): 1464-1465 (2006)Extra Variables Can Be Eliminated from Functional Logic Programs., and . PROLE, volume 188 of Electronic Notes in Theoretical Computer Science, page 3-19. Elsevier, (2006)