TY  - RPRT
TI  - Reachability for infinite time Turing machines with long tapes
AU  - Merlin Carl
AU  - Benjamin Rin
AU  - Philipp Schlicht
PY  - 2020
DO  - 10.23638/lmcs-16(2:2)2020
UR  - https://arxiv.org/abs/1802.05734
ID  - 1802.05734
ER  -