2 results
J. Hartmanis and F. D. Lewis. The use of lists in the study of undecidable problems in automata theory. Journal of computer and system sciences, vol. 5 (1971), pp. 54–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
- Print publication:
- June 1974
-
- Article
- Export citation
The post correspondence problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-430
- Print publication:
- 10 October 1968
-
- Article
- Export citation