1998
A proof theoretic view of constraint programming
Publication
Publication
Fundamenta Informaticae , Volume 34 - Issue 3 p. 1- 27
Additional Metadata | |
---|---|
, , , | |
IOS Press | |
Fundamenta Informaticae | |
Organisation | Networks and Optimization |
Apt, K. (1998). A proof theoretic view of constraint programming. Fundamenta Informaticae, 34(3), 1–27. |