RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
RAFAEL DEL
VADO VIRSEDA
Profesor contratado doctor
Publications by the researcher in collaboration with RAFAEL DEL VADO VIRSEDA (3)
2008
-
Declarative diagnosis of missing answers in constraint functional-logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Declarative debugging of missing answers in constraint functional-logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
-
Declarative diagnosis of wrong answers in constraint functional-logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)