Extension Properties of Boolean Contact Algebras

DOI10.1007/978-3-642-33314-9_23zbMath1364.68332DBLPconf/RelMiCS/DuntschL12OpenAlexW2224056960WikidataQ62042739 ScholiaQ62042739MaRDI QIDQ2915154

Sanjiang Li, Ivo Duentsch

Publication date: 21 September 2012

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_23

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Other algebras related to logic (03G25)

Related Items (1)

Solving infinite-domain CSPs using the patchwork property

Cites Work

• Graph multiplication
• Generalized region connection calculus
• Minimally generated Boolean algebras
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Region-based theory of discrete spaces: A proximity approach
• The Kronecker Product of Graphs
• The Lattice of Contact Relations on a Boolean Algebra
• Handbook of Spatial Logics
• A Proximity Approach to Some Region-Based Theories of Space
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Extension Properties of Boolean Contact Algebras