Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming
| Authors | |
|---|---|
| Publication date | 1996 |
| Journal | Science of Computer Programming |
| Volume | Issue number | 26 | 1-3 |
| Pages (from-to) | 133-148 |
| Organisations |
|
| Document type | Article |
| Published at |
https://doi.org/10.1016/0167-6423(95)00020-8
(Final published version)
|
| Downloads | |
| Permalink to this page | |