Set unification

DOI10.1017/S1471068406002730MaRDI QIDQ3422416zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Agostino Dovier, Enrico Pontelli, Gianfranco Rossi

Publication date 13 February 2007

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068406002730

zbMATH Keywords

Unification algorithms

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• An algorithm for general set unification and its complexity
• scientific article; zbMATH DE number 3871321
• scientific article; zbMATH DE number 1332632
• scientific article; zbMATH DE number 1508935
• scientific article; zbMATH DE number 4049130

Cited in

(24)

• An algorithm for general set unification and its complexity
• Automated proof of Bell-LaPadula security properties
• An automatically verified prototype of the Tokeneer ID station specification
• On sampling representatives of relational schemas with a functional dependency
• Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership
• Solving quantifier-free first-order constraints over finite sets and binary relations
• External sources of knowledge and value invention in logic programming
• Automated reasoning with restricted intensional sets
• Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages
• scientific article; zbMATH DE number 4049129 (Why is no real title available?)
• scientific article; zbMATH DE number 1332632 (Why is no real title available?)
• scientific article; zbMATH DE number 1330135 (Why is no real title available?)
• scientific article; zbMATH DE number 1337735 (Why is no real title available?)
• scientific article; zbMATH DE number 1508935 (Why is no real title available?)
• scientific article; zbMATH DE number 7552282 (Why is no real title available?)
• scientific article; zbMATH DE number 7552283 (Why is no real title available?)
• Extensions of unification modulo ACUI
• Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case
• Set-term unification in a logic database language
• Type inference for rank-2 intersection types using set unification
• A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers
• Integrating cardinality constraints into constraint logic programming with sets
• Disunification in ACI1 theories
• A -unifiability test for set theory

This page was built for publication: Set unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3422416)