\(\delta\)-uniform BSS machines (Q1271171): 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.1006/jcom.1998.0475
+Normal rank
@@ Property / OpenAlex ID @@
+W1999405008
@@ Property / OpenAlex ID: W1999405008 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Real functions and numbers defined by Turing machines
+Normal rank
@@ Property / cites work @@
+Q5327703
@@ Property / cites work: Q5327703 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibilities on real numbers
@@ Property / cites work: Reducibilities on real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+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 @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656753
@@ Property / cites work: Q5656753 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion Theory and Dedekind Cuts
@@ Property / cites work: Recursion Theory and Dedekind Cuts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625295
@@ Property / cites work: Q5625295 / rank @@
+Normal rank
@@ Property / cites work @@
+Type 2 recursion theory
@@ Property / cites work: Type 2 recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable subsets of \(\mathbb{R}^{q}\) in two computing models Blum-Shub-Smale machine and Turing machine
+Normal rank