E-LIB Suche - Ergebnisse für: Rodríguez-Artalejo, Mario

1

Algebraic and Logic Programming

Proceedings of an International Workshop held in Gaussig (G... Mathematical Research ; 49, Mathematische Forschung

Beierle, Christoph ; Bergstra, J.A ; Bockmayr, Alexander... - Reprint 2022 . , [2022]

2

A declarative semantics for CLP with qualification and prox..:

RODRÍGUEZ-ARTALEJO, MARIO ; ROMERO-DÍAZ, CARLOS A.
Theory and Practice of Logic Programming. 10 (2010) 4-6 - p. 627-642 , 2010

Link: https://doi.org/10.1017/..

3

Qualified Logic Programming with Bivalued Predicates:

Rodríguez-Artalejo, Mario ; Romero-Díaz, Carlos A.
Electronic Notes in Theoretical Computer Science. 248 (2009) - p. 67-82 , 2009

Link: https://doi.org/10.1016/..

4

Cooperation of constraint domains in the TOY system:

, In: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming,

Estévez-Martín, Sonia ; Fernández, Antonio J. ; Hortalá-González, Teresa... - p. 258-268 , 2008

Link: https://dl.acm.org/doi/1..

5

Similarity-based reasoning in qualified logic programming:

, In: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming,

Caballero, Rafael ; Rodríguez-Artalejo, Mario ; Romero-Díaz, Carlos A. - p. 185-194 , 2008

Link: https://dl.acm.org/doi/1..

6

Quantitative logic programming revisited:

, In: Proceedings of the 9th international conference on Functional and logic programming,

Rodríguez-Artalejo, Mario ; Romero-Díaz, Carlos A. - p. 272-288 , 2008

Link: https://dl.acm.org/doi/1..

7

Constraint Functional Logic Programming Revisited:

López-Fraguas, F. Javier ; Rodríguez-Artalejo, Mario ; del Vado Vírseda, Rafael
Electronic Notes in Theoretical Computer Science. 117 (2005) - p. 5-50 , 2005

Link: https://doi.org/10.1016/..

8

A Declarative Debugging System for Lazy Functional Logic Pr..:

Caballero, Rafael ; Rodríguez-Artalejo, Mario
Electronic Notes in Theoretical Computer Science. 64 (2002) - p. 113-175 , 2002

Link: https://doi.org/10.1016/..

9

Constraint Logic Programming with Hereditary Harrop formula:

LEACH, JAVIER ; NIEVA, SUSANA ; RODRÍGUEZ-ARTALEJO, MARIO
Theory and Practice of Logic Programming. 1 (2001) 4 - p. 409-445 , 2001

Link: https://doi.org/10.1017/..

10

Foreword:

Levi, Giorgio ; Rodriguez-Artalejo, Mario
Theoretical Computer Science. 165 (1996) 1 - p. 1-2 , 1996

Link: https://doi.org/10.1016/..

11

Logic programming with functions and predicates: The langua..:

Moreno-Navarro, Juan Jose ; Rodriguez-Artalejo, Mario
The Journal of Logic Programming. 12 (1992) 3 - p. 191-223 , 1992

Link: https://doi.org/10.1016/..

12

Hoare's logic for nondeterministic regular programs: A nons..:

Hortalá-González, M.Teresa ; Rodríguez-Artalejo, Mario
Theoretical Computer Science. 68 (1989) 3 - p. 277-302 , 1989

Link: https://doi.org/10.1016/..

13

BABEL: A Functional and Logic Programing Language based on ..:

, In: Algebraic and Logic Programming,

Moreno-Navarro, Juan José ; Rodríguez-Artalejo, Mario - p. 223-232 , 1988

Link: https://doi.org/10.1515/..

14

Quantitative Logic Programming Revisited:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Rodríguez-Artalejo, Mario ; Romero-Díaz, Carlos A. - p. 272-288 ,

Link: https://doi.org/10.1007/..

15

A Generic Scheme for Qualified Constraint Functional Logic ..:

Caballero, Rafael ; Rodríguez-Artalejo, Mario ; Romero-Díaz, Carlos A
http://arxiv.org/abs/1101.2146. , 2011

Link: http://arxiv.org/abs/110..