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
}
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4