The computational strengths of \(\alpha\)-tape infinite time Turing machines (Q2453073): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2014.04.016
@@ Property / DOI: 10.1016/j.apal.2014.04.016 / rank @@
-Normal rank
@@ Property / cites work @@
+Infinite time Turing machines
@@ Property / cites work: Infinite time Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Time Turing Machines With Only One Tape
@@ Property / cites work: Infinite Time Turing Machines With Only One Tape / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite time extensions of Kleene's \({\mathcal O}\)
+Normal rank
@@ Property / cites work @@
+Turing Computations On Ordinals
@@ Property / cites work: Turing Computations On Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal Computability
@@ Property / cites work: Ordinal Computability / 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 @@
+Towards a Theory of Infinite Time Blum-Shub-Smale Machines
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+The Length of Infinite Time Turing Machine Computations
+Normal rank
@@ Property / cites work @@
+Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems
+Normal rank
@@ Property / cites work @@
+Discrete Transfinite Computation
@@ Property / cites work: Discrete Transfinite Computation / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2014.04.016
@@ Property / DOI: 10.1016/J.APAL.2014.04.016 / rank @@
+Normal rank