Dynamic logics of the region-based theory of discrete spaces (Q3647263): Difference between revisions

@@ Property / cites work @@
+Q5445158
@@ Property / cites work: Q5445158 / 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 @@
+Q3998314
@@ Property / cites work: Q3998314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952315
@@ Property / cites work: Q4952315 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizability of geometry without points
@@ Property / cites work: Axiomatizability of geometry without points / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Generalized region connection calculus
@@ Property / cites work: Generalized region connection calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous lattices and Whiteheadian theory of space
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiom system for polygonal mereotopology of the real plane
+Normal rank
@@ Property / cites work @@
+Region-based topology
@@ Property / cites work: Region-based topology / rank @@
+Normal rank
@@ Property / cites work @@
+Digital Topology
@@ Property / cites work: Digital Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Semi-metrics, closure spaces and digital topology
@@ Property / cites work: Semi-metrics, closure spaces and digital topology / rank @@
+Normal rank
@@ Property / cites work @@
+A Proximity Approach to Some Region-Based Theories of Space
+Normal rank