TY  - CPAPER
AU  - Estévez Martín, Sonia
AU  - Correas Fernández, Jesús
AU  - Sáenz Pérez, Fernando
A2  - Springer. T. Schrijvers and P. Thiemann, editors.
PY  - 2012
SN  - 978-3-642-29821-9
UR  - https://hdl.handle.net/20.500.14352/96457
AB  - Starting from a computational model for the cooperation of constraint domains in the CFLP context (with lazy evaluation and higher-order functions), we present the theoretical basis for the coordination domain C tailored to the cooperation of three...
LA  - eng
M2  - 120
KW  - Constraint Functional Logic Programming, Constrained Lazy Narrowing, Implementation, Domain Cooperation.
TI  - Extending the TOY System with the ECLiPSe Solver over Sets of Integers
TY  - conference paper
ER  -