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…

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…