Mario Rodríguez-Artalejo Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Qualified Computations in Functional Logic Programming. ICLP 2009: 449-463
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Qualified Logic Programming with Bivalued Predicates. Electr. Notes Theor. Comput. Sci. 248: 67-82 (2009)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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 , R, and F in CFLP. TPLP 9(4): 415-527 (2009)
2008
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Quantitative Logic Programming Revisited. FLOPS 2008: 272-288
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. FLOPS 2008: 305-321
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Similarity-based reasoning in qualified logic programming. PPDP 2008: 185-194
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. ICLP 2007: 425-427
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Mario Rodríguez-Artalejo: DDT: a Declarative Debugging Tool for Functional-Logic Languages. FLOPS 2004: 70-84
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuri Arenas-Sánchez, Mario Rodríguez-Artalejo: A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types CoRR cs.PL/0404050: (2004)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula CoRR cs.PL/0404053: (2004)
2003
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenjiang Hu, Mario Rodríguez-Artalejo: Editorial: the Sixth International Symposium on Functional and Logic Programming. Journal of Functional and Logic Programming 2003: (2003)
2002
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenjiang Hu, Mario Rodríguez-Artalejo: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings Springer 2002
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Mario Rodríguez-Artalejo: A Declarative Debugging System for Lazy Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 64: (2002)
2001
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuri 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)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula. TPLP 1(4): 409-445 (2001)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoaquí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
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJö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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Rodríguez-Artalejo: Functional and Constraint Logic Programming. CCL 1999: 202-270
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formulas. ILPS 1997: 307-321
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. ILPS 1997: 53-67
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. TAPSOFT 1997: 453-464
1996
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hanus, Mario Rodríguez-Artalejo: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings Springer 1996
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoaquín Mateos-Lago, Mario Rodríguez-Artalejo: GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. PLILP 1996: 62-76
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Rodríguez-Artalejo: The Challenge of Declarative Programming (Panel Abstract). ILPS 1995: 629-630
1994
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Levi, Mario Rodríguez-Artalejo: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings Springer 1994
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgon 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
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing. PLILP 1993: 184-200
1992
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo: Reasoning with Higher Order Partial Functions. CSL 1992: 167-181
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo: Lazy Narrowing in a Graph Machine. ALP 1990: 298-317
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Graph-based Implementation of a Functional Logic Langugage. ESOP 1990: 271-290
1989
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-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)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan José Moreno-Navarro, Mario Rodríguez-Artalejo: BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. ALP 1988: 223-232
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Teresa Hortalá-González, Mario Rodríguez-Artalejo: Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. ICALP 1985: 270-280
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Rodríguez-Artalejo: Some Questions about Expressiveness and Relative Completeness in Hoare's Logic. Theor. Comput. Sci. 39: 189-206 (1985)

Coauthor Index

1Javier Leach Albert (Javier Leach) [10] [25] [33] [40]
2Puri Arenas (Puri Arenas-Sánchez) [23] [24] [34] [41]
3Egon Börger [16]
4Rafael Caballero [31] [36] [37] [43] [45] [49] [51] [52] [57]
5Heinz-Dieter Ebbinghaus [6]
6Antonio J. Fernández (Antonio José Fernández Leiva) [47] [48] [50] [54] [56]
7J. Fernandez-Prida [6]
8Jörg Flum [30]
9M. Garrido [6]
10Antonio Gavilanes-Franco [14]
11Michael Hanus [22]
12Maria Teresa Hortalá-González [2] [3] [5] [9] [13] [21] [26] [27] [28] [35] [47] [48] [50] [54] [56]
13Zhenjiang Hu [38] [39]
14Herbert Kuchen [7] [8] [12] [19]
15Daniel Lascar [6]
16Giorgio Levi [17]
17Rita Loogen [7] [8] [15] [19]
18Francisco Javier López-Fraguas [12] [15] [16] [21] [27] [31] [36] [42] [44] [46]
19Francisca Lucio-Carrasco [3] [14]
20Sonia Estévez Martín [47] [48] [50] [54] [56]
21Joaquín Mateos-Lago [20] [32]
22Burkhard Monien [10]
23Juan Carlos González Moreno [9] [13] [21] [26] [27] [28] [35]
24Juan José Moreno-Navarro [4] [7] [8] [11] [12] [19]
25Susana Nieva [25] [33] [40]
26Carlos A. Romero-Díaz [51] [53] [55] [57]
27Fernando Sáenz-Pérez [47] [50] [54] [56]
28Rafael del Vado Vírseda [42] [44] [45] [46] [47] [48] [49] [50] [52] [54] [56]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)