Turing machine recognizers for general rewriting systems

Thomas V. Griffiths

Browse the full FOCS paper archive.