Selected papers that cite this one
- Stephen A. Cook. The solvability of the derivability problem for one-normal systems. Journal of the ACM, 13(2):223-225, April 1966.
- Donald E. Knuth. On the translation of languages from left to right. Information and Control, 8(6):607-639, December 1965.
- V. Yu. Shavrukov. Undecidability in diagonalizable algebras. The Journal of Symbolic Logic, 62(1):79-116, March 1997.
Selected references
- J. C. Shepherdson and H. E. Sturgis. Computability of recursive functions. Journal of the ACM, 10(2):217-255, April 1963.
- Hao Wang. A variant to Turing's theory of computing machines. Journal of the ACM, 4(1):63-92, January 1957.