The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maria Teresa Hortalá-González: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán
    Real Constraints within a Functional Logic Language. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:451-464 [Conf]
  2. Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
    Toy(FD): Sketch of Operational Semantics. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:827-831 [Conf]
  3. Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
    Programming with TOY(FD). [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:878-878 [Conf]
  4. J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
    Denotational Versus Declarative Semantics for Functional Programming. [Citation Graph (0, 0)][DBLP]
    CSL, 1991, pp:134-148 [Conf]
  5. J. C. 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. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:216-230 [Conf]
  6. J. C. González-Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
    A Rewriting Logic for Declarative Programming. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:156-172 [Conf]
  7. Maria Teresa Hortalá-González, Eva Ullán
    An Abstract Machine Based System for a Lazy Narrowing Calculus. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:216-232 [Conf]
  8. J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
    Semantics and Types in Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:1-20 [Conf]
  9. Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
    Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:270-280 [Conf]
  10. J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
    A Higher Order Rewriting Logic for Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:153-167 [Conf]
  11. Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
    Solving Combinatorial Problems with a Constraint Functional Logic Language. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:320-338 [Conf]
  12. Maria Teresa Hortalá-González, Eva Ullán
    An abstract machine based experimental system for a lazy narrowing calculus. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:525-540 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:235-252 [Journal]
  14. Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
    Some General Incompleteness Results for Partial Correctness Logics [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1988, v:79, n:1, pp:22-42 [Journal]
  15. Juan Carlos González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
    Polymorphic Types in Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2001, v:2001, n:1, pp:- [Journal]
  16. J. C. 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. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:40, n:1, pp:47-87 [Journal]
  17. Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
    Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:68, n:3, pp:277-302 [Journal]
  18. 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 [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  19. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:37-51 [Journal]

  20. Cooperation of constraint domains in the TOY system. [Citation Graph (, )][DBLP]


  21. On the Cooperation of the Constraint Domains H, R and FD in CFLP [Citation Graph (, )][DBLP]


Search in 0.545secs, Finished in 0.546secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002