The basic theory of infinite time register machines (Q2267751): Difference between revisions

@@ Property / author @@
-Russell G. Miller
@@ Property / author: Russell G. Miller / rank @@
-Normal rank
@@ Property / author @@
+Russell G. Miller
@@ Property / author: Russell G. Miller / 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.1007/s00153-009-0167-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2122659273
@@ Property / OpenAlex ID: W2122659273 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite time Turing machines
@@ Property / cites work: Infinite time Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Quickly ORM-Decidable Sets
@@ Property / cites work: The Complexity of Quickly ORM-Decidable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Post’s Problem for Ordinal Register Machines
@@ Property / cites work: Post’s Problem for Ordinal Register Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computations On Ordinals
@@ Property / cites work: Turing Computations On Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+An Enhanced Theory of Infinite Time Register Machines
+Normal rank
@@ Property / cites work @@
+Register computations on ordinals
@@ Property / cites work: Register computations on ordinals / 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 @@
+Minimality considerations for ordinal computers modeling constructibility
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank