A representation theorem for Boolean contact algebras (Q2581369): Difference between revisions

@@ Property / author @@
+Ivo Duentsch
@@ Property / author: Ivo Duentsch / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.06.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2057923867
@@ Property / OpenAlex ID: W2057923867 / rank @@
+Normal rank
@@ Property / cites work @@
+Connection structures
@@ Property / cites work: Connection structures / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of individuals based on 'connection'
@@ Property / cites work: A calculus of individuals based on 'connection' / rank @@
+Normal rank
@@ Property / cites work @@
+A relation-algebraic approach to the region connection calculus
+Normal rank
@@ Property / cites work @@
+Q5314478
@@ Property / cites work: Q5314478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150804
@@ Property / cites work: Q4150804 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimally generated Boolean algebras
@@ Property / cites work: Minimally generated Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized region connection calculus
@@ Property / cites work: Generalized region connection calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Region connection calculus: Its models and composition table
+Normal rank
@@ Property / cites work @@
+Continuous lattices and Whiteheadian theory of space
+Normal rank
@@ Property / cites work @@
+Q5606492
@@ Property / cites work: Q5606492 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiom system for polygonal mereotopology of the real plane
+Normal rank
@@ Property / cites work @@
+Expressivity in polygonal, plane mereotopology
@@ Property / cites work: Expressivity in polygonal, plane mereotopology / rank @@
+Normal rank
@@ Property / cites work @@
+Region-based topology
@@ Property / cites work: Region-based topology / rank @@
+Normal rank
@@ Property / cites work @@
+Real functions and near-normal spaces
@@ Property / cites work: Real functions and near-normal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4167271
@@ Property / cites work: Q4167271 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean connection algebras: A new approach to the Region-Connection Calculus
+Normal rank
@@ Property / cites work @@
+A Proximity Approach to Some Region-Based Theories of Space
+Normal rank