INVERSION OF FUNCTIONS DEFINED BY TURING MACHINES

Inversion of Functions Defined by Turing Machines was included in Automata Studies edited by Claude Shannon and myself and published by Princeton University Press in 1956.

.dvi, .pdf and .ps versions are also available.

@incollection{McC56,
author = {McCarthy, John},
title = {The Inversion of Functions Defined by Turing Machines},
booktitle = {Automata Studies, Annals of Mathematical Studies},
number =34,
editor = {C.E. Shannon, J. McCarthy},
publisher = {Princeton University Press},
pages = {177--181},
year = 1956
}