| 2009 |
|---|
| 54 | EE | Sonia Estévez Martín,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda,
Fernando Sáenz-Pérez,
Antonio J. Fernández:
On the Cooperation of the Constraint Domains H, R and FD in CFLP
CoRR abs/0904.2136: (2009) |
| 2008 |
|---|
| 53 | EE | Mario Rodríguez-Artalejo,
Carlos A. Romero-Díaz:
Quantitative Logic Programming Revisited.
FLOPS 2008: 272-288 |
| 52 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.
FLOPS 2008: 305-321 |
| 51 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo,
Carlos A. Romero-Díaz:
Similarity-based reasoning in qualified logic programming.
PPDP 2008: 185-194 |
| 50 | EE | 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:
Cooperation of constraint domains in the TOY system.
PPDP 2008: 258-268 |
| 2007 |
|---|
| 49 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.
ICLP 2007: 425-427 |
| 48 | EE | 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.
Electr. Notes Theor. Comput. Sci. 177: 235-252 (2007) |
| 47 | EE | 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.
Electr. Notes Theor. Comput. Sci. 188: 37-51 (2007) |
| 46 | EE | Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
A new generic scheme for functional logic programming with constraints.
Higher-Order and Symbolic Computation 20(1-2): 73-122 (2007) |
| 2006 |
|---|
| 45 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
ICLP 2006: 421-422 |
| 2005 |
|---|
| 44 | EE | Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Constraint Functional Logic Programming Revisited.
Electr. Notes Theor. Comput. Sci. 117: 5-50 (2005) |
| 2004 |
|---|
| 43 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo:
DDT: a Declarative Debugging Tool for Functional-Logic Languages.
FLOPS 2004: 70-84 |
| 42 | EE | Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
A lazy narrowing calculus for declarative constraint programming.
PPDP 2004: 43-54 |
| 41 | EE | Puri Arenas-Sánchez,
Mario Rodríguez-Artalejo:
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
CoRR cs.PL/0404050: (2004) |
| 40 | EE | Javier Leach,
Susana Nieva,
Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formula
CoRR cs.PL/0404053: (2004) |
| 2003 |
|---|
| 39 | EE | Zhenjiang Hu,
Mario Rodríguez-Artalejo:
Editorial: the Sixth International Symposium on Functional and Logic Programming.
Journal of Functional and Logic Programming 2003: (2003) |
| 2002 |
|---|
| 38 | | Zhenjiang Hu,
Mario Rodríguez-Artalejo:
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings
Springer 2002 |
| 37 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo:
A Declarative Debugging System for Lazy Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
| 2001 |
|---|
| 36 | EE | Rafael Caballero,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.
FLOPS 2001: 170-184 |
| 35 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Polymorphic Types in Functional Logic Programming.
Journal of Functional and Logic Programming 2001(1): (2001) |
| 34 | | Puri Arenas-Sánchez,
Mario Rodríguez-Artalejo:
A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types.
TPLP 1(2): 185-245 (2001) |
| 33 | | Javier Leach,
Susana Nieva,
Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formula.
TPLP 1(4): 409-445 (2001) |
| 32 | EE | Joaquín Mateos-Lago,
Mario Rodríguez-Artalejo:
A declarative framework for object-oriented programming with genetic inheritance.
Theor. Comput. Sci. 269(1-2): 363-417 (2001) |
| 2000 |
|---|
| 31 | | Rafael Caballero,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.
WFLP 2000: 8-22 |
| 1999 |
|---|
| 30 | | Jörg Flum,
Mario Rodríguez-Artalejo:
Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Springer 1999 |
| 29 | EE | Mario Rodríguez-Artalejo:
Functional and Constraint Logic Programming.
CCL 1999: 202-270 |
| 28 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Semantics and Types in Functional Logic Programming.
Fuji International Symposium on Functional and Logic Programming 1999: 1-20 |
| 27 | | Juan Carlos 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.
J. Log. Program. 40(1): 47-87 (1999) |
| 1997 |
|---|
| 26 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
A Higher Order Rewriting Logic for Functional Logic Programming.
ICLP 1997: 153-167 |
| 25 | | Javier Leach,
Susana Nieva,
Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formulas.
ILPS 1997: 307-321 |
| 24 | | Puri Arenas-Sánchez,
Mario Rodríguez-Artalejo:
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types.
ILPS 1997: 53-67 |
| 23 | | Puri Arenas-Sánchez,
Mario Rodríguez-Artalejo:
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.
TAPSOFT 1997: 453-464 |
| 1996 |
|---|
| 22 | | Michael Hanus,
Mario Rodríguez-Artalejo:
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings
Springer 1996 |
| 21 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Rewriting Logic for Declarative Programming.
ESOP 1996: 156-172 |
| 20 | | Joaquín Mateos-Lago,
Mario Rodríguez-Artalejo:
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies.
PLILP 1996: 62-76 |
| 19 | | Herbert Kuchen,
Rita Loogen,
Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
The Functional Logic Language BABEL and Its Implementation on a Graph Machine.
New Generation Comput. 14(4): 391-427 (1996) |
| 1995 |
|---|
| 18 | | Mario Rodríguez-Artalejo:
The Challenge of Declarative Programming (Panel Abstract).
ILPS 1995: 629-630 |
| 1994 |
|---|
| 17 | | Giorgio Levi,
Mario Rodríguez-Artalejo:
Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings
Springer 1994 |
| 16 | | Egon Börger,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.
IFIP Congress (1) 1994: 410-415 |
| 1993 |
|---|
| 15 | | Rita Loogen,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Demand Driven Computation Strategy for Lazy Narrowing.
PLILP 1993: 184-200 |
| 1992 |
|---|
| 14 | | Antonio Gavilanes-Franco,
Francisca Lucio-Carrasco,
Mario Rodríguez-Artalejo:
Reasoning with Higher Order Partial Functions.
CSL 1992: 167-181 |
| 13 | | Juan Carlos 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.
CSL 1992: 216-230 |
| 12 | | Herbert Kuchen,
Francisco Javier López-Fraguas,
Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
Implementing a Lazy Functional Logic Language with Disequality Constraints.
JICSLP 1992: 207-221 |
| 11 | | Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
Logic Programming with Functions and Predicates: The Language BABEL.
J. Log. Program. 12(3&4): 191-223 (1992) |
| 1991 |
|---|
| 10 | | Javier Leach Albert,
Burkhard Monien,
Mario Rodríguez-Artalejo:
Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings
Springer 1991 |
| 9 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Denotational Versus Declarative Semantics for Functional Programming.
CSL 1991: 134-148 |
| 1990 |
|---|
| 8 | | Juan José Moreno-Navarro,
Herbert Kuchen,
Rita Loogen,
Mario Rodríguez-Artalejo:
Lazy Narrowing in a Graph Machine.
ALP 1990: 298-317 |
| 7 | | Herbert Kuchen,
Rita Loogen,
Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
Graph-based Implementation of a Functional Logic Langugage.
ESOP 1990: 271-290 |
| 1989 |
|---|
| 6 | | Heinz-Dieter Ebbinghaus,
J. Fernandez-Prida,
M. Garrido,
Daniel Lascar,
Mario Rodríguez-Artalejo:
European Summer Meeting of the Association for Symbolic Logic.
J. Symb. Log. 54(2): 647-672 (1989) |
| 5 | | Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.
Theor. Comput. Sci. 68(3): 277-302 (1989) |
| 1988 |
|---|
| 4 | | Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing.
ALP 1988: 223-232 |
| 3 | | Maria Teresa Hortalá-González,
Francisca Lucio-Carrasco,
Mario Rodríguez-Artalejo:
Some General Incompleteness Results for Partial Correctness Logics
Inf. Comput. 79(1): 22-42 (1988) |
| 1985 |
|---|
| 2 | | Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.
ICALP 1985: 270-280 |
| 1 | | Mario Rodríguez-Artalejo:
Some Questions about Expressiveness and Relative Completeness in Hoare's Logic.
Theor. Comput. Sci. 39: 189-206 (1985) |
