![Foto de Antonio](/img/nophoto.png)
Antonio
Fernández Álvarez
Antonio Fernández Álvarez-rekin lankidetzan egindako argitalpenak (4)
2008
-
Cooperation of constraint domains in the toy system
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
-
Playing with TOY: Constraints and domain cooperation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme
Electronic Notes in Theoretical Computer Science, Vol. 177, Núm. 1, pp. 235-252
-
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 37-51