Login / Signup
Verifying whether One-Tape Turing Machines Run in Linear Time.
David Gajser
Published in:
Electron. Colloquium Comput. Complex. (2015)
Keyphrases
</>
turing machine
high speed
worst case
model checking
artificial intelligence
image processing
read write