| 2009 |
|---|
| 13 | EE | Sonia Estévez Martín,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda,
Fernando Sáenz-Pérez,
Antonio J. Fernández:
On the Cooperation of the Constraint Domains H, R and FD in CFLP
CoRR abs/0904.2136: (2009) |
| 2008 |
|---|
| 12 | EE | Sonia Estévez Martín,
Antonio J. Fernández,
Fernando Sáenz-Pérez:
Playing with TOY: Constraints and Domain Cooperation.
ESOP 2008: 112-115 |
| 11 | EE | Susana Nieva,
Jaime Sánchez-Hernández,
Fernando Sáenz-Pérez:
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.
FLOPS 2008: 289-304 |
| 10 | EE | Sonia Estévez Martín,
Antonio J. Fernández,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
Cooperation of constraint domains in the TOY system.
PPDP 2008: 258-268 |
| 9 | EE | Rafael Caballero,
Yolanda García-Ruiz,
Fernando Sáenz-Pérez:
A Theoretical Framework for the Declarative Debugging of Datalog Programs.
SDKB 2008: 143-159 |
| 8 | EE | Rafael Caballero,
Yolanda García-Ruiz,
Fernando Sáenz-Pérez:
A New Proposal for Debugging Datalog Programs.
Electr. Notes Theor. Comput. Sci. 216: 79-92 (2008) |
| 2007 |
|---|
| 7 | EE | R. González-del-Campo,
Fernando Sáenz-Pérez:
Programmed Search in a Timetabling Problem over Finite Domains.
Electr. Notes Theor. Comput. Sci. 177: 253-267 (2007) |
| 6 | EE | Sonia Estévez Martín,
Antonio J. Fernández,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
Electr. Notes Theor. Comput. Sci. 188: 37-51 (2007) |
| 5 | EE | Antonio J. Fernández,
Maria Teresa Hortalá-González,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
Constraint functional logic programming over finite domains.
TPLP 7(5): 537-582 (2007) |
| 2006 |
|---|
| 4 | EE | Antonio J. Fernández,
Maria Teresa Hortalá-González,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
Constraint Functional Logic Programming over Finite Domains
CoRR abs/cs/0601071: (2006) |
| 2005 |
|---|
| 3 | EE | Antonio J. Fernández,
Maria Teresa Hortalá-González,
Fernando Sáenz-Pérez:
Programming with TOY(FD).
CP 2005: 878-878 |
| 2003 |
|---|
| 2 | EE | Antonio J. Fernández,
Maria Teresa Hortalá-González,
Fernando Sáenz-Pérez:
Toy(FD): Sketch of Operational Semantics.
CP 2003: 827-831 |
| 1 | EE | Antonio J. Fernández,
Maria Teresa Hortalá-González,
Fernando Sáenz-Pérez:
Solving Combinatorial Problems with a Constraint Functional Logic Language.
PADL 2003: 320-338 |
