default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. ICLP 1993: Workshop on Logic Programming with Sets
- Eugenio G. Omodeo, Gianfranco Rossi:
Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993. 1993
Constraint Logic Programming With Sets
- Steffen Hölldobler, Michael Thielscher:
On Logic Programming with Multisets. 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 - Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard:
Constraints over Homogeneous Hereditarily Finite Sets. 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
Set Unification
- Frieder Stolzenburg:
An Algorithm for General Set Unification and its Complexity. ICLP Workshop on Logic Programming with Sets 1993: 17-22 - Mohamed Hibti, Henri Lombardi, Bruno Legeard:
Set-Unification from Another Point of View. 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 - Suresh Manandhar:
Set Descriptions in Constraint Based Grammars. ICLP Workshop on Logic Programming with Sets 1993
Implementing Sets in Prolog
- Toshinori Munakata:
A Comparative Study on Implementing Sets in Prolog. 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
Sets in Database Languages
- Mikhail Gilula:
Dealing with "Pure" Sets in STARSET Language. 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
Other Approaches
- Ernst-Erich Doberkat:
Prototyping Through Lindenbaum Algebras. ICLP Workshop on Logic Programming with Sets 1993 - Michal Walicki, Sigurd Meldal:
Sets and Nondeterminism. ICLP Workshop on Logic Programming with Sets 1993 - Domenico Cantone, Rosa Ruggeri Cannata:
Proving Set-Theoretic Formulae by a Tableaux Method. 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 - Paul Broome:
Proofs about Programs in Classical Set Theory. ICLP Workshop on Logic Programming with Sets 1993
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
