Maria Teresa Hortalá-González

Publication Activity (10 Years)

Years Active: 1985-2009
Publications (10 Years): 0

Publications

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 (2009)
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
in CFLP. Theory Pract. Log. Program. 9 (4) (2009)
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
system. PPDP (2008)
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. Electron. Notes Theor. Comput. Sci. 188 (2007)
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. Theory Pract. Log. Program. 7 (5) (2007)
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. Electron. Notes Theor. Comput. Sci. 177 (2007)
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 (2006)
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
Programming with TOY(FD). CP (2005)
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
Toy(FD): Sketch of Operational Semantics. CP (2003)
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)
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
A Functional Logic Language with Finite Domain Constraints. APPIA-GULP-PRODE (2002)
Maria Teresa Hortalá-González, Eva Ullán
An Abstract Machine Based System for a Lazy Narrowing Calculus. FLOPS (2001)
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Polymorphic Types in Functional Logic Programming. J. Funct. Log. Program. 2001 (1) (2001)
Maria Teresa Hortalá-González, Eva Ullán
An abstract machine based experimental system for a lazy narrowing calculus. WFLP (2000)
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) (1999)
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)
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)
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)
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)
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)
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Denotational Versus Declarative Semantics for Functional Programming. CSL (1991)
Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach. Theor. Comput. Sci. 68 (3) (1989)
Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
Some General Incompleteness Results for Partial Correctness Logics Inf. Comput. 79 (1) (1988)
Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. ICALP (1985)