Publications by the researcher in collaboration with RAFAEL DEL VADO VIRSEDA (3)

2008

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

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

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