|
Search the dblp DataBase
Mario Rodríguez-Artalejo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo
Lazy Narrowing in a Graph Machine. [Citation Graph (0, 0)][DBLP] ALP, 1990, pp:298-317 [Conf]
- Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. [Citation Graph (0, 0)][DBLP] ALP, 1988, pp:223-232 [Conf]
- Mario Rodríguez-Artalejo
Functional and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] CCL, 1999, pp:202-270 [Conf]
- Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
Reasoning with Higher Order Partial Functions. [Citation Graph (0, 0)][DBLP] CSL, 1992, pp:167-181 [Conf]
- J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Denotational Versus Declarative Semantics for Functional Programming. [Citation Graph (0, 0)][DBLP] CSL, 1991, pp:134-148 [Conf]
- J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. [Citation Graph (0, 0)][DBLP] CSL, 1992, pp:216-230 [Conf]
- J. C. González-Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Rewriting Logic for Declarative Programming. [Citation Graph (0, 0)][DBLP] ESOP, 1996, pp:156-172 [Conf]
- Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
Graph-based Implementation of a Functional Logic Langugage. [Citation Graph (0, 0)][DBLP] ESOP, 1990, pp:271-290 [Conf]
- Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP] FLOPS, 2001, pp:170-184 [Conf]
- Rafael Caballero, Mario Rodríguez-Artalejo
DDT: a Declarative Debugging Tool for Functional-Logic Languages. [Citation Graph (0, 0)][DBLP] FLOPS, 2004, pp:70-84 [Conf]
- J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Semantics and Types in Functional Logic Programming. [Citation Graph (0, 0)][DBLP] Fuji International Symposium on Functional and Logic Programming, 1999, pp:1-20 [Conf]
- Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. [Citation Graph (0, 0)][DBLP] ICALP, 1985, pp:270-280 [Conf]
- Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. [Citation Graph (0, 0)][DBLP] ICLP, 2006, pp:421-422 [Conf]
- J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
A Higher Order Rewriting Logic for Functional Logic Programming. [Citation Graph (0, 0)][DBLP] ICLP, 1997, pp:153-167 [Conf]
- Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
Implementing a Lazy Functional Logic Language with Disequality Constraints. [Citation Graph (0, 0)][DBLP] JICSLP, 1992, pp:207-221 [Conf]
- Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. [Citation Graph (0, 0)][DBLP] IFIP Congress (1), 1994, pp:410-415 [Conf]
- Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Demand Driven Computation Strategy for Lazy Narrowing. [Citation Graph (0, 0)][DBLP] PLILP, 1993, pp:184-200 [Conf]
- Joaquín Mateos-Lago, Mario Rodríguez-Artalejo
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. [Citation Graph (0, 0)][DBLP] PLILP, 1996, pp:62-76 [Conf]
- Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A lazy narrowing calculus for declarative constraint programming. [Citation Graph (0, 0)][DBLP] PPDP, 2004, pp:43-54 [Conf]
- Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. [Citation Graph (0, 0)][DBLP] ILPS, 1997, pp:53-67 [Conf]
- Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formulas. [Citation Graph (0, 0)][DBLP] ILPS, 1997, pp:307-321 [Conf]
- Mario Rodríguez-Artalejo
The Challenge of Declarative Programming (Panel Abstract). [Citation Graph (0, 0)][DBLP] ILPS, 1995, pp:629-630 [Conf]
- Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1997, pp:453-464 [Conf]
- Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. [Citation Graph (0, 0)][DBLP] WFLP, 2000, pp:8-22 [Conf]
- Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formula [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Rafael Caballero, Mario Rodríguez-Artalejo
A Declarative Debugging System for Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
- Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Constraint Functional Logic Programming Revisited. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:5-50 [Journal]
- Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:235-252 [Journal]
- Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
Some General Incompleteness Results for Partial Correctness Logics [Citation Graph (0, 0)][DBLP] Inf. Comput., 1988, v:79, n:1, pp:22-42 [Journal]
- Juan Carlos González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Polymorphic Types in Functional Logic Programming. [Citation Graph (0, 0)][DBLP] Journal of Functional and Logic Programming, 2001, v:2001, n:1, pp:- [Journal]
- Zhenjiang Hu, Mario Rodríguez-Artalejo
Editorial: the Sixth International Symposium on Functional and Logic Programming. [Citation Graph (0, 0)][DBLP] Journal of Functional and Logic Programming, 2003, v:2003, n:, pp:- [Journal]
- J. C. González-Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
An Approach to Declarative Programming Based on a Rewriting Logic. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:40, n:1, pp:47-87 [Journal]
- Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
Logic Programming with Functions and Predicates: The Language BABEL. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1992, v:12, n:3&4, pp:191-223 [Journal]
- Heinz-Dieter Ebbinghaus, J. Fernandez-Prida, M. Garrido, Daniel Lascar, Mario Rodríguez-Artalejo
European Summer Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1989, v:54, n:2, pp:647-672 [Journal]
- Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
The Functional Logic Language BABEL and Its Implementation on a Graph Machine. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1996, v:14, n:4, pp:391-427 [Journal]
- Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1989, v:68, n:3, pp:277-302 [Journal]
- Joaquín Mateos-Lago, Mario Rodríguez-Artalejo
A declarative framework for object-oriented programming with genetic inheritance. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:269, n:1-2, pp:363-417 [Journal]
- Mario Rodríguez-Artalejo
Some Questions about Expressiveness and Relative Completeness in Hoare's Logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1985, v:39, n:, pp:189-206 [Journal]
- Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formula. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:4, pp:409-445 [Journal]
- Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:2, pp:185-245 [Journal]
- Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. [Citation Graph (0, 0)][DBLP] ICLP, 2007, pp:425-427 [Conf]
- Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:37-51 [Journal]
- Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A new generic scheme for functional logic programming with constraints. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:73-122 [Journal]
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. [Citation Graph (, )][DBLP]
Quantitative Logic Programming Revisited. [Citation Graph (, )][DBLP]
Qualified Computations in Functional Logic Programming. [Citation Graph (, )][DBLP]
Cooperation of constraint domains in the TOY system. [Citation Graph (, )][DBLP]
Similarity-based reasoning in qualified logic programming. [Citation Graph (, )][DBLP]
On the Cooperation of the Constraint Domains H, R and FD in CFLP [Citation Graph (, )][DBLP]
A Declarative Semantics for CLP with Qualification and Proximity [Citation Graph (, )][DBLP]
A Generic Scheme for Qualified Logic Programming [Citation Graph (, )][DBLP]
Similarity-based Reasoning in Qualified Logic Programming [Citation Graph (, )][DBLP]
Qualified Logic Programming with Bivalued Predicates. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.454secs
|