Maria Teresa Hortal-Gonzlez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
1985–2008
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | PPDP | Cooperation of constraint domains in the | Sonia Estvez Martn, Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo, Fernando Senz-Prez, Rafael del Vado Vrseda |
| 2005 | CP | Programming with TOY(FD). | Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Fernando Senz-Prez |
| 2003 | CP | Toy(FD): Sketch of Operational Semantics. | Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Fernando Senz-Prez |
| 2003 | PADL | Solving Combinatorial Problems with a Constraint Functional Logic Language. | Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Fernando Senz-Prez |
| 2001 | FLOPS | An Abstract Machine Based System for a Lazy Narrowing Calculus. | Maria Teresa Hortal-Gonzlez, Eva Ulln |
| 1999 | FLOPS | Semantics and Types in Functional Logic Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1997 | ICLP | A Higher Order Rewriting Logic for Functional Logic Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1996 | ESOP | A Rewriting Logic for Declarative Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo |
| 1992 | CSL | On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1991 | CSL | Denotational Versus Declarative Semantics for Functional Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1985 | ICALP | Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. | Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |