TY  - RPRT
TI  - Verifying whether One-Tape Non-Deterministic Turing Machines Run in Time $Cn+D$
AU  - David Gajser
PY  - 2014
DO  - 10.1016/j.jcss.2019.08.004
UR  - https://arxiv.org/abs/1312.0496
ID  - 1312.0496
ER  -