The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mario Rodríguez-Artalejo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Mario Rodríguez-Artalejo
    Functional and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CCL, 1999, pp:202-270 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  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. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:410-415 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Mario Rodríguez-Artalejo
    The Challenge of Declarative Programming (Panel Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:629-630 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]

  45. Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. [Citation Graph (, )][DBLP]


  46. Quantitative Logic Programming Revisited. [Citation Graph (, )][DBLP]


  47. Qualified Computations in Functional Logic Programming. [Citation Graph (, )][DBLP]


  48. Cooperation of constraint domains in the TOY system. [Citation Graph (, )][DBLP]


  49. Similarity-based reasoning in qualified logic programming. [Citation Graph (, )][DBLP]


  50. On the Cooperation of the Constraint Domains H, R and FD in CFLP [Citation Graph (, )][DBLP]


  51. A Declarative Semantics for CLP with Qualification and Proximity [Citation Graph (, )][DBLP]


  52. A Generic Scheme for Qualified Logic Programming [Citation Graph (, )][DBLP]


  53. Similarity-based Reasoning in Qualified Logic Programming [Citation Graph (, )][DBLP]


  54. Qualified Logic Programming with Bivalued Predicates. [Citation Graph (, )][DBLP]


Search in 0.015secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002