ROMERO-DÍAZ, CARLOS A.
7910  results:
Search for persons X
?
1

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

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

Quantitative logic programming revisited:

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

Similarity-based reasoning in qualified logic programming:

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

Quantitative Logic Programming Revisited:

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

What Gives a Wine Its Strong Red Color? Main Correlations A..:

Heras-Roger, Jesus ; Díaz-Romero, Carlos ; Darias-Martín, Jacinto
Journal of Agricultural and Food Chemistry.  64 (2016)  34 - p. 6567-6574 , 2016
 
1-15