( en | de | ru )

 

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

Author of the publication

copydeleteadd this publication to your clipboard
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.

, , and . IFIP Congress (1), volume A-51 of IFIP Transactions, page 410-415. North-Holland, (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.

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

TOY: A Multiparadigm Declarative System., and . RTA, volume 1631 of Lecture Notes in Computer Science, page 244-247. Springer, (1999)A Complete Axiomatization of Strict Equality., and . FLOPS, volume 6009 of Lecture Notes in Computer Science, page 118-133. Springer, (2010)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)A simple rewrite notion for call-time choice semantics., , and . PPDP, page 197-208. ACM, (2007)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)A lazy narrowing calculus for declarative constraint programming., , and . PPDP, page 43-54. ACM, (2004)Functional Logic Programming with Failure: A Set-Oriented View., and . LPAR, volume 2250 of Lecture Notes in Computer Science, page 455-469. Springer, (2001)New Results on Type Systems for Functional Logic Programming., , and . WFLP, volume 5979 of Lecture Notes in Computer Science, page 128-144. Springer, (2009)