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

@@ Property / author @@
-Dimiter Vakarelov
@@ Property / author: Dimiter Vakarelov / rank @@
-Normal rank
@@ Property / author @@
+Dimiter Vakarelov
@@ Property / author: Dimiter Vakarelov / 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.3166/jancl.17.39-61
+Normal rank
@@ Property / OpenAlex ID @@
+W1974107276
@@ Property / OpenAlex ID: W1974107276 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3647263