| 2009 |
|---|
| 22 | 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 |
|---|
| 21 | 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 |
| 2007 |
|---|
| 20 | EE | Sonia Estévez Martín,
Antonio J. Fernández,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
Electr. Notes Theor. Comput. Sci. 177: 235-252 (2007) |
| 19 | 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) |
| 18 | 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 |
|---|
| 17 | 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 |
|---|
| 16 | EE | Antonio J. Fernández,
Maria Teresa Hortalá-González,
Fernando Sáenz-Pérez:
Programming with TOY(FD).
CP 2005: 878-878 |
| 2003 |
|---|
| 15 | 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 |
| 14 | 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 |
| 2001 |
|---|
| 13 | EE | Maria Teresa Hortalá-González,
Eva Ullán:
An Abstract Machine Based System for a Lazy Narrowing Calculus.
FLOPS 2001: 216-232 |
| 12 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Polymorphic Types in Functional Logic Programming.
Journal of Functional and Logic Programming 2001(1): (2001) |
| 2000 |
|---|
| 11 | | Maria Teresa Hortalá-González,
Eva Ullán:
An abstract machine based experimental system for a lazy narrowing calculus.
WFLP 2000: 525-540 |
| 1999 |
|---|
| 10 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Semantics and Types in Functional Logic Programming.
Fuji International Symposium on Functional and Logic Programming 1999: 1-20 |
| 9 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
An Approach to Declarative Programming Based on a Rewriting Logic.
J. Log. Program. 40(1): 47-87 (1999) |
| 1997 |
|---|
| 8 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
A Higher Order Rewriting Logic for Functional Logic Programming.
ICLP 1997: 153-167 |
| 1996 |
|---|
| 7 | | Puri Arenas-Sánchez,
Maria Teresa Hortalá-González,
Francisco Javier López-Fraguas,
Eva Ullán:
Real Constraints within a Functional Logic Language.
APPIA-GULP-PRODE 1996: 451-464 |
| 6 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Rewriting Logic for Declarative Programming.
ESOP 1996: 156-172 |
| 1992 |
|---|
| 5 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming.
CSL 1992: 216-230 |
| 1991 |
|---|
| 4 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Denotational Versus Declarative Semantics for Functional Programming.
CSL 1991: 134-148 |
| 1989 |
|---|
| 3 | | Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.
Theor. Comput. Sci. 68(3): 277-302 (1989) |
| 1988 |
|---|
| 2 | | Maria Teresa Hortalá-González,
Francisca Lucio-Carrasco,
Mario Rodríguez-Artalejo:
Some General Incompleteness Results for Partial Correctness Logics
Inf. Comput. 79(1): 22-42 (1988) |
| 1985 |
|---|
| 1 | | Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo:
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.
ICALP 1985: 270-280 |
