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:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
On the cooperation of the constraint domains , <i>R</i>, and <i>F</i> in CFLP.
Theory Pract. Log. Program., 2009

On the Cooperation of the Constraint Domains H, R and FD in CFLP
CoRR, 2009

2008
Cooperation of constraint domains in the <i>TOY</i> system.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2007
Constraint functional logic programming over finite domains.
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
Programming with TOY(FD).
Proceedings of the Principles and Practice of Constraint Programming, 2005

2003
Solving Combinatorial Problems with a Constraint Functional Logic Language.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Toy(FD): Sketch of Operational Semantics.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
A Functional Logic Language with Finite Domain Constraints.
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

An Abstract Machine Based System for a Lazy Narrowing Calculus.
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
An Approach to Declarative Programming Based on a Rewriting Logic.
J. Log. Program., 1999

Semantics and Types in Functional Logic Programming.
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
A Rewriting Logic for Declarative Programming.
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
Denotational Versus Declarative Semantics for Functional Programming.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1989
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.
Theor. Comput. Sci., 1989

1988
Some General Incompleteness Results for Partial Correctness Logics
Inf. Comput., October, 1988

1985
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.
Proceedings of the Automata, 1985


  Loading...