![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Mario Rodríguez-Artalejo
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [j17]Rafael Caballero
, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
A Transformation-based implementation for CLP with qualification and proximity. Theory Pract. Log. Program. 14(1): 1-63 (2014) - 2012
- [i10]Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
A Transformation-based Implementation for CLP with Qualification and Proximity. CoRR abs/1201.5418 (2012) - 2011
- [i9]Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
A Generic Scheme for Qualified Constraint Functional Logic Programming. CoRR abs/1101.2146 (2011) - 2010
- [j16]Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
A declarative semantics for CLP with qualification and proximity. Theory Pract. Log. Program. 10(4-6): 627-642 (2010) - [i8]Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
A Declarative Semantics for CLP with Qualification and Proximity. CoRR abs/1007.3629 (2010) - [i7]Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
A Generic Scheme for Qualified Logic Programming. CoRR abs/1008.3863 (2010) - [i6]Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Similarity-based Reasoning in Qualified Logic Programming. CoRR abs/1008.3867 (2010) - [i5]Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
A Transformation-based Implementation for CLP with Qualification and Proximity. CoRR abs/1009.1976 (2010) - [i4]Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity. CoRR abs/1009.1977 (2010)
2000 – 2009
- 2009
- [j15]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 , R, and F in CFLP. Theory Pract. Log. Program. 9(4): 415-527 (2009) - [c35]Rafael Caballero
, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Qualified Computations in Functional Logic Programming. ICLP 2009: 449-463 - [i3]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
- [c34]Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Quantitative Logic Programming Revisited. FLOPS 2008: 272-288 - [c33]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 - [c32]Rafael Caballero
, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Similarity-based reasoning in qualified logic programming. PPDP 2008: 185-194 - [c31]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 - [c30]Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Qualified Logic Programming with Bivalued Predicates. PROLE 2008: 67-82 - 2007
- [j14]Francisco Javier López-Fraguas
, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
A new generic scheme for functional logic programming with constraints. High. Order Symb. Comput. 20(1-2): 73-122 (2007) - [c29]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 - 2006
- [c28]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 - [c27]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. PROLE 2006: 37-51 - [c26]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. WFLP 2006: 235-252 - 2004
- [c25]Rafael Caballero
, Mario Rodríguez-Artalejo:
DDT: a Declarative Debugging Tool for Functional-Logic Languages. FLOPS 2004: 70-84 - [c24]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 - [c23]Francisco Javier López-Fraguas
, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
Constraint Functional Logic Programming Revisited. WRLA 2004: 5-50 - [i2]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) - [i1]Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formula. CoRR cs.PL/0404053 (2004) - 2003
- [j13]Zhenjiang Hu, Mario Rodríguez-Artalejo:
Editorial: the Sixth International Symposium on Functional and Logic Programming. J. Funct. Log. Program. 2003 (2003) - 2002
- [e5]Zhenjiang Hu, Mario Rodríguez-Artalejo:
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Lecture Notes in Computer Science 2441, Springer 2002, ISBN 3-540-44233-2 [contents] - 2001
- [j12]Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo:
Polymorphic Types in Functional Logic Programming. J. Funct. Log. Program. 2001(1) (2001) - [j11]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) - [j10]Puri Arenas-Sánchez, Mario Rodríguez-Artalejo:
A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. Theory Pract. Log. Program. 1(2): 185-245 (2001) - [j9]Javier Leach, Susana Nieva
, Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formula. Theory Pract. Log. Program. 1(4): 409-445 (2001) - [c22]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 - [c21]Rafael Caballero
, Mario Rodríguez-Artalejo:
A Declarative Debugging System for Lazy Functional Logic Programs. WFLP 2001: 113-175 - 2000
- [c20]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
1990 – 1999
- 1999
- [j8]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) - [c19]Mario Rodríguez-Artalejo:
Functional and Constraint Logic Programming. CCL 1999: 202-270 - [c18]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 - [e4]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. Lecture Notes in Computer Science 1683, Springer 1999, ISBN 3-540-66536-6 [contents] - 1997
- [c17]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 - [c16]Puri Arenas-Sánchez, Mario Rodríguez-Artalejo:
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. ILPS 1997: 53-67 - [c15]Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formulas. ILPS 1997: 307-321 - [c14]Puri Arenas-Sánchez, Mario Rodríguez-Artalejo:
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. TAPSOFT 1997: 453-464 - 1996
- [j7]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 Gener. Comput. 14(4): 391-427 (1996) - [c13]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 - [c12]Joaquín Mateos-Lago, Mario Rodríguez-Artalejo:
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. PLILP 1996: 62-76 - [e3]Michael Hanus
, Mario Rodríguez-Artalejo:
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings. Lecture Notes in Computer Science 1139, Springer 1996, ISBN 3-540-61735-3 [contents] - 1995
- [c11]Mario Rodríguez-Artalejo:
The Challenge of Declarative Programming (Panel Abstract). ILPS 1995: 629-630 - 1994
- [c10]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 - [e2]Giorgio Levi, Mario Rodríguez-Artalejo:
Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings. Lecture Notes in Computer Science 850, Springer 1994, ISBN 3-540-58431-5 [contents] - 1993
- [c9]Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo:
A Demand Driven Computation Strategy for Lazy Narrowing. PLILP 1993: 184-200 - 1992
- [j6]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) - [c8]Antonio Gavilanes-Franco, Francisca Lucio-Carrasco
, Mario Rodríguez-Artalejo:
Reasoning with Higher Order Partial Functions. CSL 1992: 167-181 - [c7]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 - [c6]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 - 1991
- [c5]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 - [e1]Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo:
Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Lecture Notes in Computer Science 510, Springer 1991, ISBN 3-540-54233-7 [contents] - 1990
- [c4]Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo:
Lazy Narrowing in a Graph Machine. ALP 1990: 298-317 - [c3]Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
Graph-based Implementation of a Functional Logic Langugage. ESOP 1990: 271-290
1980 – 1989
- 1989
- [j5]Heinz-Dieter Ebbinghaus, José Fernández-Prida, Manuel Garrido, Daniel Lascar, Mario Rodríguez-Artalejo:
European Summer Meeting of the Association for Symbolic Logic. J. Symb. Log. 54(2): 647-672 (1989) - [j4]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
- [j3]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) - [c2]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 - 1985
- [j2]Mario Rodríguez-Artalejo:
Some Questions about Expressiveness and Relative Completeness in Hoare's Logic. Theor. Comput. Sci. 39: 189-206 (1985) - [c1]Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo:
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. ICALP 1985: 270-280 - 1981
- [j1]Mario Rodríguez-Artalejo:
Eine syntaktisch-algebraische Methode zur Konstruktion von Modellen. Math. Log. Q. 27(2-6): 59-71 (1981)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint