10. ICLP 1993:
Workshop on Logic Programming with Sets
Eugenio G. Omodeo,
Gianfranco Rossi (Organizers):
Workshop on Logic Programming with Sets,
June 24, 1993,
in conjunction with
June 21 - 24, 1993, Budapest, Hungary
Constraint Logic Programming With Sets
Implementing Sets in Prolog
Sets in Database Languages
Copyright © Sat May 16 23:20:24 2009
by Michael Ley (email@example.com)
- Ernst-Erich Doberkat:
Prototyping Through Lindenbaum Algebras.
- Michal Walicki,
Sets and Nondeterminism.
- D. Cantone,
R. Ruggieri Cannata:
Proving Set-Theoretic Formulae by a Tableaux Method.
- George K. Tsiknis:
Adding Abstraction to Logic Programming. The Logistic Approach.
- Paul Broome:
Proofs about Programs in Classical Set Theory.