Characterizations of ITBM-computability. I (Q2026737): Difference between revisions

@@ Property / cites work @@
+Towards a Theory of Infinite Time Blum-Shub-Smale Machines
+Normal rank
@@ Property / cites work @@
+The computational power of infinite time Blum-Shub-Smale machines
+Normal rank
@@ Property / cites work @@
+Discrete Transfinite Computation
@@ Property / cites work: Discrete Transfinite Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Infinite Time Turing Machines
@@ Property / cites work: A Survey of Infinite Time Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal machines and admissible recursion theory
@@ Property / cites work: Ordinal machines and admissible recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal Computability
@@ Property / cites work: Ordinal Computability / rank @@
+Normal rank
@@ Property / cites work @@
+The basic theory of infinite time register machines
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank