Sign in
ICLP Workshop on Logic Programming with Sets
1993
1993
1993
Keyphrases
Publications
1993
Domenico Cantone
,
Rosa Ruggeri Cannata
Proving Set-Theoretic Formulae by a Tableaux Method.
ICLP Workshop on Logic Programming with Sets
(1993)
Lawrence V. Saxton
,
Latha S. Colby
,
Dirk Van Gucht
Complexity Issues in Supporting Queries Involving Intermediate Sets in Relational Database Systems.
ICLP Workshop on Logic Programming with Sets
(1993)
Steffen Hölldobler
,
Michael Thielscher
On Logic Programming with Multisets.
ICLP Workshop on Logic Programming with Sets
(1993)
Toshinori Munakata
A Comparative Study on Implementing Sets in Prolog.
ICLP Workshop on Logic Programming with Sets
(1993)
Frieder Stolzenburg
An Algorithm for General Set Unification and its Complexity.
ICLP Workshop on Logic Programming with Sets
(1993)
Carmen Gervet
Sets and Binary Relation Variables Viewed as Constrained Objects.
ICLP Workshop on Logic Programming with Sets
(1993)
Mohamed Hibti
,
Henri Lombardi
,
Bruno Legeard
Set-Unification from Another Point of View.
ICLP Workshop on Logic Programming with Sets
(1993)
Suresh Manandhar
Set Descriptions in Constraint Based Grammars.
ICLP Workshop on Logic Programming with Sets
(1993)
Michal Walicki
,
Sigurd Meldal
Sets and Nondeterminism.
ICLP Workshop on Logic Programming with Sets
(1993)
Paola Bruscoli
,
Gianfranco Rossi
,
Agostino Dovier
,
Eugenio G. Omodeo
,
Enrico Pontelli
Extensional and Intensional Sets in CLP with Intensional Negation.
ICLP Workshop on Logic Programming with Sets
(1993)
Fabrice Ambert
,
Mohamed Hibti
,
Henri Lombardi
,
Bruno Legeard
Constraints over Homogeneous Hereditarily Finite Sets.
ICLP Workshop on Logic Programming with Sets
(1993)
George K. Tsiknis
Adding Abstraction to Logic Programming. The Logistic Approach.
ICLP Workshop on Logic Programming with Sets
(1993)
Ernst-Erich Doberkat
Prototyping Through Lindenbaum Algebras.
ICLP Workshop on Logic Programming with Sets
(1993)
Davide Aliffi
,
Gianfranco Rossi
,
Agostino Dovier
,
Eugenio G. Omodeo
Unification of Hyperset Terms.
ICLP Workshop on Logic Programming with Sets
(1993)
Paul Broome
Proofs about Programs in Classical Set Theory.
ICLP Workshop on Logic Programming with Sets
(1993)
Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993
ICLP Workshop on Logic Programming with Sets
(1993)
Mikhail Gilula
Dealing with "Pure" Sets in STARSET Language.
ICLP Workshop on Logic Programming with Sets
(1993)
Christian Posthoff
,
Sabine Schumann
Representation of Sets in PROLOG.
ICLP Workshop on Logic Programming with Sets
(1993)