Mario Rodrguez-Artalejo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
6
Active years
1985–2009
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICLP | Qualified Computations in Functional Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Carlos A. Romero-Daz |
| 2008 | FLOPS | Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2008 | FLOPS | Quantitative Logic Programming Revisited. | Mario Rodrguez-Artalejo, Carlos A. Romero-Daz |
| 2008 | PPDP | Similarity-based reasoning in qualified logic programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Carlos A. Romero-Daz |
| 2008 | PPDP | Cooperation of constraint domains in the | Sonia Estvez Martn, Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo, Fernando Senz-Prez, Rafael del Vado Vrseda |
| 2007 | ICLP | Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2006 | ICLP | Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2004 | FLOPS | DDT: a Declarative Debugging Tool for Functional-Logic Languages. | Rafael Caballero, Mario Rodrguez-Artalejo |
| 2004 | PPDP | A lazy narrowing calculus for declarative constraint programming. | Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2001 | FLOPS | Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. | Rafael Caballero, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo |
| 1999 | FLOPS | Semantics and Types in Functional Logic Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1997 | ICLP | A Higher Order Rewriting Logic for Functional Logic Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1996 | ESOP | A Rewriting Logic for Declarative Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo |
| 1992 | CSL | Reasoning with Higher Order Partial Functions. | Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodrguez-Artalejo |
| 1992 | CSL | On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1992 | ICLP | Implementing a Lazy Functional Logic Language with Disequality Constraints. | Herbert Kuchen, Francisco Javier Lpez-Fraguas, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo |
| 1991 | CSL | Denotational Versus Declarative Semantics for Functional Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1990 | ESOP | Graph-based Implementation of a Functional Logic Langugage. | Herbert Kuchen, Rita Loogen, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo |
| 1985 | ICALP | Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. | Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |