Line-based affine reasoning in Euclidean plane (Q2372194): Difference between revisions

@@ Property / cites work @@
+Tractability Results in the Block Algebra
@@ Property / cites work: Tractability Results in the Block Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics for Parallelism, Orthogonality, and Affine Geometries
+Normal rank
@@ Property / cites work @@
+Determining consistency of topological relations
@@ Property / cites work: Determining consistency of topological relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704220
@@ Property / cites work: Q4704220 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining topological and size information for spatial reasoning
+Normal rank
@@ Property / cites work @@
+On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank