I agree that this site is using cookies. You can find further informations here.
X
Rodríguez-Artalejo, Mario
8  results:
Bookchapter (Online) X
Search for persons X
?
1

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..
 
?
2

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..
 
?
3

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..
 
?
4

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/..
 
?
5

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/..
 
?
6

Declarative Diagnosis of Missing Answers in Constraint Func..:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Caballero, Rafael ; Rodríguez Artalejo, Mario ; del Vado Vírseda, Rafael - p. 305-321 , 2008
Link: https://doi.org/10.1007/..
 
?
7

Declarative diagnosis of missing answers in constraint func..:

, In: Proceedings of the 9th international conference on Functional and logic programming,
Caballero, Rafael ; Artalejo, Mario Rodríguez ; Del Vado Vírseda, Rafael - p. 305-321 , 2008
Link: https://dl.acm.org/doi/1..
 
?
8

A lazy narrowing calculus for declarative constraint progra..:

, In: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming,
López-Fraguas, F. J. ; Rodríguez-Artalejo, M. ; del Vado Vírseda, Rafael - p. 43-54 , 2004
Link: https://dl.acm.org/doi/1..
 
1-8