Reasoning about visibility (Q420853): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+U10
@@ Property / Mathematics Subject Classification ID: 68U10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6037809
@@ Property / zbMATH DE Number: 6037809 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+visibility
@@ Property / zbMATH Keywords: visibility / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+space
@@ Property / zbMATH Keywords: space / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FIREMAN
@@ Property / describes a project that uses: FIREMAN / 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.jal.2012.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2076905458
@@ Property / OpenAlex ID: W2076905458 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Multidimensional binary search trees used for associative searching
+Normal rank
@@ Property / cites work @@
+Decomposable searching problems
@@ Property / cites work: Decomposable searching problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452284
@@ Property / cites work: Q5452284 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing and Verifying Depth Orders
@@ Property / cites work: Computing and Verifying Depth Orders / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
+Normal rank
@@ Property / cites work @@
+Lower bounds for orthogonal range searching: I. The reporting case
+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 @@
+Individuals and points
@@ Property / cites work: Individuals and points / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729670
@@ Property / cites work: Q2729670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4643853
@@ Property / cites work: Q4643853 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Point Location in a Monotone Subdivision
@@ Property / cites work: Optimal Point Location in a Monotone Subdivision / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Complexity and algorithms for reasoning about time
+Normal rank
@@ Property / cites work @@
+Structured firewall design
@@ Property / cites work: Structured firewall design / rank @@
+Normal rank
@@ Property / cites work @@
+Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing
+Normal rank
@@ Property / cites work @@
+Box sort, a multidimensional binary sorting method for rectangular boxes, used for quick range searching
+Normal rank
@@ Property / cites work @@
+Q4488342
@@ Property / cites work: Q4488342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509059
@@ Property / cites work: Q3509059 / rank @@
+Normal rank
@@ Property / cites work @@
+A special planar satisfiability problem and a consequence of its NP- completeness
+Normal rank
@@ Property / cites work @@
+Data and Applications Security XIX
@@ Property / cites work: Data and Applications Security XIX / rank @@
+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 @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of the Partial Order Dimension Problem
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:420853