Stop the war!Остановите войну!
for scientists:
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
a service of 
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 2024-04-25 05:26 CEST 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:
