Computational complexity of determining which statements about causality hold in different space-time models (Q949614): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2008.06.028
@@ Property / DOI: 10.1016/j.tcs.2008.06.028 / rank @@
-Normal rank
@@ Property / author @@
-Vladik Ya. Kreinovich
@@ Property / author: Vladik Ya. Kreinovich / rank @@
-Normal rank
@@ Property / author @@
-O. M. Kosheleva
@@ Property / author: O. M. Kosheleva / rank @@
-Normal rank
@@ Property / author @@
+Vladik Ya. Kreinovich
@@ Property / author: Vladik Ya. Kreinovich / rank @@
+Normal rank
@@ Property / author @@
+O. M. Kosheleva
@@ Property / author: O. M. Kosheleva / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / 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.2008.06.028
+Normal rank
@@ Property / OpenAlex ID @@
+W1986285719
@@ Property / OpenAlex ID: W1986285719 / rank @@
+Normal rank
@@ Property / cites work @@
+A Contribution to Chronogeometry
@@ Property / cites work: A Contribution to Chronogeometry / rank @@
+Normal rank
@@ Property / cites work @@
+Mappings of spaces with families of cones and space-time transformations
+Normal rank
@@ Property / cites work @@
+The complexity of elementary algebra and geometry
@@ Property / cites work: The complexity of elementary algebra and geometry / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of plane Lorentz transformations
+Normal rank
@@ Property / cites work @@
+Q4004345
@@ Property / cites work: Q4004345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538720
@@ Property / cites work: Q5538720 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+Universal homogeneous causal sets
@@ Property / cites work: Universal homogeneous causal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Sur l'extension aux relations de quelques propriétés des ordres
+Normal rank
@@ Property / cites work @@
+Q3230355
@@ Property / cites work: Q3230355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry characterization of Pimenov's spacetime: A reformulation of causality axioms
+Normal rank
@@ Property / cites work @@
+Q5527790
@@ Property / cites work: Q5527790 / rank @@
+Normal rank
@@ Property / cites work @@
+On null cone preserving mappings
@@ Property / cites work: On null cone preserving mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Cone Preserving Mappings for Quadratic Cones Over Arbitrary Fields
+Normal rank
@@ Property / cites work @@
+A Physical Characterization of Conformal Transformations of Minkowski Spacetime
+Normal rank
@@ Property / cites work @@
+On distance-preserving transformations of lines in Euclidean three-space
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5603156
@@ Property / cites work: Q5603156 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q2755788
@@ Property / cites work: Q2755788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Causality Implies the Lorentz Group
@@ Property / cites work: Causality Implies the Lorentz Group / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2008.06.028
@@ Property / DOI: 10.1016/J.TCS.2008.06.028 / rank @@
+Normal rank