INTERNATIONAL SUMMER SCHOOL ON ADVANCES IN LOGIC PROGRAMMING ALGHERO (Sardegna), June 24-29,1996
Yearly Archives: 1996
XI. III APPIA-GULP-PRODE (1996), San Sebastian (Spain)
Donostia-San Sebastian, Spain 15-18 July 1996 Program chairs: Paqui Lucio, Maurizio Martelli, Marisa Navarro Accepted papers (from DBLP): XI. III APPIA-GULP-PRODE (1996) Pedro Barahona. Constraint Logic Programming: Theory, Domain and Applications. pages 3-12 Fernando Orejas. Algebraic Methods for the Study…
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1996
Editors: Paqui Lucio, Maurizio Martelli, Marisa Navarro
Computable Set Theory and Logic Programming
By AGOSTINO DOVIER Università di Pisa (consorzio Pisa-Genova-Udine) Marzo 1996 Abstract Computable Set Theory investigates the satisfiability problem for fragments of set theory; the CLP scheme allows to automatically obtain logic programming languages dealing with constraints, namely first order…