Journal of the ACM Bibliography
H.
B. Hunt III. Terminating Turing machine computations and the
complexity and/or decidability of correspondence problems, grammars, and
program schemes. Journal of the ACM, 31(2):299-318, April
1984.
[BibTeX entry]
Selected papers that cite this one
Shortcuts: