dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Maria Teresa Hortalá-González Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez: Programming with TOY(FD). CP 2005: 878-878
2003
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez: Toy(FD): Sketch of Operational Semantics. CP 2003: 827-831
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Teresa Hortalá-González, Eva Ullán: An Abstract Machine Based System for a Lazy Narrowing Calculus. FLOPS 2001: 216-232
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Teresa Hortalá-González, Eva Ullán: An abstract machine based experimental system for a lazy narrowing calculus. WFLP 2000: 525-540
1999
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuri 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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

1Puri Arenas (Puri Arenas-Sánchez) [7]
2Antonio J. Fernández (Antonio José Fernández Leiva) [14] [15] [16] [17] [18] [19] [20] [21] [22] [23]
3Francisco Javier López-Fraguas [6] [7] [9]
4Francisca Lucio-Carrasco [2]
5Sonia Estévez Martín [19] [20] [21] [22] [23]
6Juan Carlos González Moreno [4] [5] [6] [8] [9] [10] [12]
7Mario Rodríguez-Artalejo [1] [2] [3] [4] [5] [6] [8] [9] [10] [12] [19] [20] [21] [22] [23]
8Fernando Sáenz-Pérez [14] [15] [16] [17] [18] [19] [21] [22] [23]
9Eva Ullán [7] [11] [13]
10Rafael del Vado Vírseda [17] [18] [19] [20] [21] [22] [23]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page