( en | de | ru )

 

Disambiguation of "Rodríguez-Artalejo, Mario"

Author of the publication

copydeleteadd this publication to your clipboard
The Challenge of Declarative Programming (Panel Abstract).

. ILPS, page 629-630. MIT Press, (1995)

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.

Mario Rodriguez Baeza

Daniel Rodríguez

Carlos Rodríguez

Agustín Rodríguez

Jerónimo Rodríguez

 

Other publications of authors with the same name

European Summer Meeting of the Association for Symbolic Logic., , , , and . J. Symb. Log., 54 (2): 647-672 (1989)DDT: a Declarative Debugging Tool for Functional-Logic Languages., and . FLOPS, volume 2998 of Lecture Notes in Computer Science, page 70-84. Springer, (2004)A Transformation-based Implementation for CLP with Qualification and Proximity, , and . CoRR, (2010)Similarity-based Reasoning in Qualified Logic Programming, , and . CoRR, (2010)A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types, and . CoRR, (2004)Constraint Logic Programming with Hereditary Harrop Formula., , and . Theory Pract. Log. Program., 1 (4): 409-445 (2001)An Approach to Declarative Programming Based on a Rewriting Logic., , , and . J. Log. Program., 40 (1): 47-87 (1999)Some Questions about Expressiveness and Relative Completeness in Hoare's Logic.. Theor. Comput. Sci., (1985)Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach., and . Theor. Comput. Sci., 68 (3): 277-302 (1989)Cooperation of constraint domains in the TOY system., , , , , and . PPDP, page 258-268. ACM, (2008)