Preface

Computable set theory and theorem proving

• D.Cantone, J.T.Schwartz, C.G.Zarba
  Decision procedures for fragments of set theory with monotone and additive functions

• A.Dovier, A.Formisano, E.G.Omodeo
  Provable $\exists^{\ast}\forall$-sentences about sets with atoms

Programming Languages with Sets

• M.Osorio, J.C.Nieves
  Extended partial-order logic programming

• A.Dovier, C.Piazza, E.Pontelli, G.Rossi
  Sets and Constraint Logic Programming

• K.Eder
  Yet another way of Set-processing: The Escher style and its implementation

• J.D.Jones
  A Declarative Semantics for Sets Based on the Stable Model Semantics

• P.Flener, B.Hnich, Z.Kiziltan
  Towards Schema-Guided Compilation of Set Constraint Programs

Query languages and non-well-founded sets

• A.Dovier, C.Piazza, A.Policriti
  Fast (Hyper) Set Equivalence

• A.Leontjev, V.Sazonov
  Capturing LOGSPACE over Hereditarily-Finite Sets

• Y.P.Serdyuk
  Partial evaluations in a set-theoretic query language for WWW

Applications

• L.Py, B.Legeard
  Constraint Logic Programming with sets for animation and verification of B specification

• D.Duchier
  Set Constraints in Computational Linguistics - Solving Tree Descriptions -

These proceedidings are also available as: "Proceedings of the Workshop on Declarative Programming with Sets" G.Rossi, B.Jayaraman (Eds.), Quaderni del Dipartimento di Matematica, Università di Parma, n.200, Sept. 20, 1999.