A.Lewis, Infinite time turing machines

by Joel David Hamkins , Andy Lewis
Venue:Journal of Symbolic Logic
Citations:83 - 6 self

Documents Related by Co-Citation

1198 On computable numbers, with an application to the Entscheidungsproblem – A Turing - 1937
666 Quantum theory, the Church-Turing principle and the universal quantum computer – David Deutsch - 1985
461 Computation: Finite and Infinite Machines – M L Minsky - 1967
480 The Emperor’ s New Mind – R Penrose - 1989
3890 J.D.: Introduction to Automata Theory, Languages and Computation, 2nd edn – J E Hopcroft, R Motwani, Ullman - 2001
556 An Introduction to Symbolic Dynamics and Coding – D Lind, B Marcus - 1995
503 General relativity – Robert M Wald - 1984
1243 The large scale structure of space-time – S W Itawking, G F R Ellis - 1973
719 A new introduction to modal logic – M CRESSWELL, G HUGHES - 1996