FERNANDO
SÁENZ PÉREZ
Profesor titular de universidad
Publicacions en què col·labora amb FERNANDO SÁENZ PÉREZ (11)
2015
-
Debugging of wrong and missing answers for datalog programs with constraint handling rules
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
2012
-
A declarative embedding of XQuery in a functional-logic language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Algorithmic debugging of SQL views
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Declarative debugging of wrong and missing answers for SQL views
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
-
A deductive database with datalog and SQL query languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
XQuery in the Functional-Logic Language Toy
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings
-
XQuery in the functional-logic language toy
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Applying constraint logic programming to SQL test case generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science, Vol. 216, Núm. C, pp. 79-92
-
A theoretical framework for the declarative debugging of datalog programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Programmed Search in a Timetabling Problem over Finite Domains
Electronic Notes in Theoretical Computer Science, Vol. 177, Núm. 1, pp. 253-267