Publicaciones en las que colabora con YOLANDA GARCÍA RUIZ (12)

2015

  1. 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

  1. 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)

  2. Algorithmic debugging of SQL views

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

  4. XPath query processing in a functional-logic language

    Electronic Notes in Theoretical Computer Science

2011

  1. 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)

  2. Integrating XPath with the functional-logic language toy

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. XQuery in the Functional-Logic Language Toy

    Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings

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

  1. 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

  1. A New Proposal for Debugging Datalog Programs

    Electronic Notes in Theoretical Computer Science, Vol. 216, Núm. C, pp. 79-92

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