dblp.uni-trier.dewww.uni-trier.de

Sonia Estévez Martín

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
6EESonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández: On the Cooperation of the Constraint Domains H, R and FD in CFLP CoRR abs/0904.2136: (2009)
2008
5EESonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez: Playing with TOY: Constraints and Domain Cooperation. ESOP 2008: 112-115
4EESonia 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: Cooperation of constraint domains in the TOY system. PPDP 2008: 258-268
2007
3EESonia 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. Electr. Notes Theor. Comput. Sci. 177: 235-252 (2007)
2EESonia 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. Electr. Notes Theor. Comput. Sci. 188: 37-51 (2007)
2005
1EESonia Estévez Martín, Rafael del Vado Vírseda: Designing an efficient computation strategy in CFLP(FD) using definitional trees. WCFLP 2005: 23-31

Coauthor Index

1Antonio J. Fernández (Antonio José Fernández Leiva) [2] [3] [4] [5] [6]
2Maria Teresa Hortalá-González [2] [3] [4] [6]
3Mario Rodríguez-Artalejo [2] [3] [4] [6]
4Fernando Sáenz-Pérez [2] [4] [5] [6]
5Rafael del Vado Vírseda [1] [2] [3] [4] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)