Publicacions en què col·labora amb Antonio Fernández Álvarez (6)

2008

  1. Cooperation of constraint domains in the toy system

    PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

  2. Playing with TOY: Constraints and domain cooperation

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

2007

  1. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme

    Electronic Notes in Theoretical Computer Science, Vol. 177, Núm. 1, pp. 235-252

  2. A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

    Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 37-51

  3. Constraint functional logic programming over finite domains

    Theory and Practice of Logic Programming, Vol. 7, Núm. 5, pp. 537-582

2006

  1. Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages

    Journal of Universal Computer Science