Merlin Carl, Benjamin G. Rin, Philipp Schlicht. Reachability for infinite time Turing machines with long tapes. Logical Methods in Computer Science, 16(2), 2020. [doi]
@article{CarlRS20,
title = {Reachability for infinite time Turing machines with long tapes},
author = {Merlin Carl and Benjamin G. Rin and Philipp Schlicht},
year = {2020},
url = {https://lmcs.episciences.org/6429},
researchr = {https://researchr.org/publication/CarlRS20},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {16},
number = {2},
}