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) |