RAFAEL DEL
VADO VIRSEDA
Profesor contratado doctor
RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
Publicaciones en las que colabora con RAFAEL CABALLERO ROLDÁN (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)