E-LIB Suche - Ergebnisse für: Hortalá-González, Teresa - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Cooperation of constraint domains in the TOY system:

, In: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming,

Estévez-Martín, Sonia ; Fernández, Antonio J. ; Hortalá-González, Teresa... - p. 258-268 , 2008

Link: https://dl.acm.org/doi/1..

2

Constraint functional logic programming over finite domains:

FERNÁNDEZ, ANTONIO J. ; HORTALÁ-GONZÁLEZ, TERESA ; SÁENZ-PÉREZ, FERNANDO.
Theory and Practice of Logic Programming. 7 (2007) 5 - p. 537-582 , 2007

Link: https://doi.org/10.1017/..

3

Hoare's logic for nondeterministic regular programs: A nons..:

Hortalá-González, M.Teresa ; Rodríguez-Artalejo, Mario
Theoretical Computer Science. 68 (1989) 3 - p. 277-302 , 1989

Link: https://doi.org/10.1016/..

4

Some general incompleteness results for partial correctness..:

Hortalá-González, M.Teresa ; Lucio-Carrasco, Francisca ; Rodíguez-Artalejo, Mario
Information and Computation. 79 (1988) 1 - p. 22-42 , 1988

Link: https://doi.org/10.1016/..

5

Constraint Functional Logic Programming over Finite Domains:

Fernandez, Antonio J ; Hortala-Gonzalez, Teresa ; Saenz-Perez, Fernando.
http://arxiv.org/abs/cs/0601071. , 2006

Link: http://arxiv.org/abs/cs/..

6

On the cooperation of the constraint domains ℋ, ℛ, and ℱ in..:

ESTÉVEZ-MARTÍN, S. ; HORTALÁ-GONZÁLEZ, T. ; RODRÍGUEZ-ARTALEJO, M....
Theory and Practice of Logic Programming. 9 (2009) 4 - p. 415-527 , 2009

Link: https://doi.org/10.1017/..

7

A Proposal for the Cooperation of Solvers in Constraint Fun..:

Estévez-Martín, S. ; Fernández, A.J. ; Hortalá-González, T....
Electronic Notes in Theoretical Computer Science. 188 (2007) - p. 37-51 , 2007

Link: https://doi.org/10.1016/..

8

An approach to declarative programming based on a rewriting..:

González-Moreno, J.C. ; Hortalá-González, M.T. ; López-Fraguas, F.J..
The Journal of Logic Programming. 40 (1999) 1 - p. 47-87 , 1999

Link: https://doi.org/10.1016/..

9

A Fully Sound Goal Solving Calculus for the Cooperation of ..:

Estévez Martín, S. ; Fernández, A.J. ; Hortalá González, M.T...
Electronic Notes in Theoretical Computer Science. 177 (2007) - p. 235-252 , 2007

Link: https://doi.org/10.1016/..

10

Erythroderma in a 1-month-old boy:

Hortala, Marion ; Vicente, Asunción ; Abellaneda, Cristina...
European Journal of Pediatrics. 166 (2006) 9 - p. 979-980 , 2006

Link: https://doi.org/10.1007/..

11

Trust and its determinants: Evidence from the Trustlab expe..

OECD Statistics Working Papers, no.2018/02

Murtin, Fabrice ; Fleischer, Lara ; Siegerink, Vincent... , 2018

Link: https://doi.org/10.1787/..

1-11