Edgar G. Daylight. The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian. Computability, 10(2):141-158, 2021. [doi]
@article{Daylight21,
title = {The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian},
author = {Edgar G. Daylight},
year = {2021},
doi = {10.3233/COM-180217},
url = {https://doi.org/10.3233/COM-180217},
researchr = {https://researchr.org/publication/Daylight21},
cites = {0},
citedby = {0},
journal = {Computability},
volume = {10},
number = {2},
pages = {141-158},
}