1995
Arrays, bounded quantification and iteration in logic and constraint logic programming
Publication
Publication
Presented at the
Joint Conference on Declarative Programming, Salermo, Italy
Additional Metadata | |
---|---|
University of Salermo | |
Joint Conference on Declarative Programming | |
Organisation | Logic and language |
Apt, K. (1995). Arrays, bounded quantification and iteration in logic and constraint logic programming. In Proceedings of Joint Conference on declarative programming 1995. University of Salermo. |