 | 2009 |
|---|
| 15 |       | Gabriel Aranda-López,
Susana Nieva,
Fernando Sáenz-Pérez,
Jaime Sánchez-Hernández:
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.
PPDP 2009: 117-128 |
| 14 | | 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) |
| 13 | | 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 , R, and F in CFLP.
TPLP 9(4): 415-527 (2009) |
| 2008 |
|---|
| 12 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | Antonio J. Fernández,
Maria Teresa Hortalá-González,
Fernando Sáenz-Pérez:
Programming with TOY(FD).
CP 2005: 878-878 |
| 2003 |
|---|
| 2 | | 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 | | 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 |
