Concepedia

The computational strengths of α-tape infinite time Turing machines

Benjamin Rin

Annals of Pure and Applied Logic · 2014 · 11 citations · 6 references

DOI

Concepts

References

6

Infinite time Turing machines

Joel David Hamkins, Andy Lewis · Journal of Symbolic Logic · 2000 · 259 citations

, , +15

Turing Computations On Ordinals

Peter Koepke · Bulletin of Symbolic Logic · 2005 · 98 citations

, , +12

The Length of Infinite Time Turing Machine Computations

Philip Welch · Bulletin of the London Mathematical Society · 2000 · 53 citations

, , +10

Ordinal machines and admissible recursion theory

Peter Koepke, Benjamin Seyfferth · Annals of Pure and Applied Logic · 2009 · 45 citations

, , +8

Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems

Philip Welch · Theoretical Computer Science · 2008 · 38 citations

, , +17