On Ladner's result for a class of real machines with restricted use of constants (Q418114): Difference between revisions

@@ 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.ic.2011.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2077424813
@@ Property / OpenAlex ID: W2077424813 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on non-complete problems in \(NP_\mathbb{R}\)
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381389
@@ Property / cites work: Q4381389 / rank @@
+Normal rank
@@ Property / cites work @@
+Exotic quantifiers, complexity classes, and complete problems
+Normal rank
@@ Property / cites work @@
+Saturation and stability in the theory of computation over the reals
+Normal rank
@@ Property / cites work @@
+Separation of complexity classes in Koiran's weak model
+Normal rank
@@ Property / cites work @@
+Q5315023
@@ Property / cites work: Q5315023 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of $\cal NP_\Bbb C$
@@ Property / cites work: On the Structure of $\cal NP_\Bbb C$ / rank @@
+Normal rank
@@ Property / cites work @@
+On Ladner’s Result for a Class of Real Machines with Restricted Use of Constants
+Normal rank
@@ Property / cites work @@
+P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418114