A.Lewis, Infinite time turing machines

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