1995
On termination of constraint logic programs
Publication
Publication
Presented at the
International Conference on Principles and Practice of Constraint Programming, Cassis
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Principles and Practice of Constraint Programming | |
Colussi, L., Marchiori, E., & Marchiori, M. (1995). On termination of constraint logic programs. In Principles and Practice of Constraint Programming (pp. 431–448). Springer. |