Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming

Open Access
Authors
Publication date 1996
Journal Science of Computer Programming
Volume | Issue number 26 | 1-3
Pages (from-to) 133-148
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Published at https://doi.org/10.1016/0167-6423(95)00020-8
Downloads
Permalink to this page
Back