Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Maria Teresa Hortalá-González
2000 – 2009
- 2009
[j8]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)- [i2]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
- [c13]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
- [j7]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)
- [j6]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)
- [j5]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
- [i1]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
- [c12]Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez: Programming with TOY(FD). CP 2005: 878-878
- 2003
- [c11]Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez: Toy(FD): Sketch of Operational Semantics. CP 2003: 827-831
- [c10]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
- [j4]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)
- [c9]Maria Teresa Hortalá-González, Eva Ullán: An Abstract Machine Based System for a Lazy Narrowing Calculus. FLOPS 2001: 216-232
- 2000
- [c8]
1990 – 1999
- 1999
- [j3]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)
- [c7]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
- 1997
- [c6]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
- [c5]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
- [c4]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
- [c3]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
- [c2]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
1980 – 1989
- 1989
- [j2]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
- [j1]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
- [c1]Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. ICALP 1985: 270-280
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:58 CET by the dblp team