Author:
Duck Gregory J.,de la Banda María García,Stuckey Peter J.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Lecture Notes in Computer Science;M. García de la Banda,2002
2. Duck, G.J., Stuckey, P.J., García de la Banda, M., Holzbaur, C.: Extending arbitrary solvers with constraint handling rules. In: Miller, D. (ed.) Proceedings of the Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 79–90. ACM Press, New York (2003)
3. Lecture Notes in Computer Science;C. Holzbaur,2001
4. Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: Proc. Fourteenth ACM Symp. Principles of Programming Languages, pp. 111–119. ACM Press, New York (1987)
5. Jaffar, J., Maher, M., Marriott, K., Stuckey, P.J.: The semantics of constraint logic programs. Journal of Logic Programming 37(1-3), 1–46 (1998)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Theory of finite or infinite trees revisited;Theory and Practice of Logic Programming;2008-05-12
2. TCHR: a framework for tabled CLP;Theory and Practice of Logic Programming;2008-02-26
3. Automatic Implication Checking for CHR Constraints;Electronic Notes in Theoretical Computer Science;2006-01
4. Adding Constraint Solving to Mercury;Practical Aspects of Declarative Languages;2005