Maria Teresa Hortalá-González
According to our database1,
Maria Teresa Hortalá-González
authored at least 23 papers
between 1985 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Theory Pract. Log. Program., 2009
2008
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
2007
Theory Pract. Log. Program., 2007
2006
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006
2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
2003
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
Polymorphic Types in Functional Logic Programming.
J. Funct. Log. Program., 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
2000
An abstract machine based experimental system for a lazy narrowing calculus.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
1999
J. Log. Program., 1999
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999
1997
A Higher Order Rewriting Logic for Functional Logic Programming.
Proceedings of the Logic Programming, 1997
1996
Proceedings of the Programming Languages and Systems, 1996
Real Constraints within a Functional Logic Language.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1992
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming.
Proceedings of the Computer Science Logic, 6th Workshop, 1992
1991
Proceedings of the Computer Science Logic, 5th Workshop, 1991
1989
Theor. Comput. Sci., 1989
1988
Inf. Comput., October, 1988
1985
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.
Proceedings of the Automata, 1985