Turing machine recognizers for general rewriting systems

Thomas V. Griffiths. Turing machine recognizers for general rewriting systems. In Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design, 11-13 November 1964, Princeton, New Jersey, USA. pages 47-56, IEEE, 1964.

Bibliographies