Maria Teresa Hortalá-González

24 papers A* 1A 3B 3C 2Misc 1Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2009 J jnl
On the Cooperation of the Constraint Domains H, R and FD in CFLP
CoRR
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
2009 J jnl
On the cooperation of the constraint domains ,
Theory Pract. Log. Program.
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
2008 C conf
Cooperation of constraint domains in the
PPDP
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
2007 J jnl
Constraint functional logic programming over finite domains.
Theory Pract. Log. Program.
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
2006 — conf
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
WFLP
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2006 — conf
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
PROLE
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
2006 J jnl
Constraint Functional Logic Programming over Finite Domains
CoRR
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
2005 A conf
Programming with TOY(FD).
CP
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
2003 C conf
Solving Combinatorial Problems with a Constraint Functional Logic Language.
PADL
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
2003 A conf
Toy(FD): Sketch of Operational Semantics.
CP
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
2002 — conf
A Functional Logic Language with Finite Domain Constraints.
APPIA-GULP-PRODE
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
2001 Misc conf
An Abstract Machine Based System for a Lazy Narrowing Calculus.
FLOPS
Maria Teresa Hortalá-González, Eva Ullán
2001 J jnl
Polymorphic Types in Functional Logic Programming.
J. Funct. Log. Program.
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
2000 — conf
An abstract machine based experimental system for a lazy narrowing calculus.
WFLP
Maria Teresa Hortalá-González, Eva Ullán
1999 J jnl
An Approach to Declarative Programming Based on a Rewriting Logic.
J. Log. Program.
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1999 — conf
Semantics and Types in Functional Logic Programming.
Fuji International Symposium on Functional and Logic Programming
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1997 B conf
A Higher Order Rewriting Logic for Functional Logic Programming.
ICLP
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1996 A conf
A Rewriting Logic for Declarative Programming.
ESOP
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1996 — conf
Real Constraints within a Functional Logic Language.
APPIA-GULP-PRODE
Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán
1992 B conf
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming.
CSL
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1991 B conf
Denotational Versus Declarative Semantics for Functional Programming.
CSL
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1989 J jnl
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.
Theor. Comput. Sci.
Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1988 J jnl
Some General Incompleteness Results for Partial Correctness Logics
Inf. Comput.
Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
1985 A* conf
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.
ICALP
Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo