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

Authors
Publication date 1995
Host editors
  • M.I. Sessa
  • M. Alpuente Frasnedo
Book title 1995 Joint Conference on Declarative Programming (GULP-PRODE '95)
Pages (from-to) 19-35
Publisher University of Salerno, Italy
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Note Invited lecture
Permalink to this page
Back