1996
Arrays, bounded quantification and iteration in logic and constraint logic programming
Publication
Publication
Science of Computer Programming , Volume 26 - Issue 1-3 p. 133- 148
Presented at the
International Conference on Mathematics of Program Construction, Kloster Irsee
Additional Metadata | |
---|---|
North-Holland | |
Science of Computer Programming | |
International Conference on Mathematics of Program Construction | |
Organisation | Networks and Optimization |
Apt, K. (1996). Arrays, bounded quantification and iteration in logic and constraint logic programming. In Science of Computer Programming (Vol. 26, pp. 133–148). North-Holland. |