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


  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


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

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

  2. Constraint functional logic programming over finite domains

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