ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Rolf Herken (ed.). The Universal Turing Machine: A Half-Century Survey. Oxford: Oxford University Press, 1988. Pp. xiv + 661. ISBN 0-19-853741-7. £55.00
The British Journal for the History of Science
◽
10.1017/s0007087400026480
◽
1989
◽
Vol 22
(4)
◽
pp. 451-452
Author(s):
Steve Russ
Keyword(s):
Turing Machine
◽
Half Century
◽
Oxford University
◽
Universal Turing Machine
◽
Oxford University Press
Download Full-text
Related Documents
Cited By
References
Uwe Schöning. Complexity theory and interaction. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 561–580.
Journal of Symbolic Logic
◽
10.2307/2275079
◽
1991
◽
Vol 56
(3)
◽
pp. 1091-1092
Author(s):
Steven Lindell
Keyword(s):
New York
◽
Complexity Theory
◽
Turing Machine
◽
Half Century
◽
Oxford University
◽
Universal Turing Machine
◽
Oxford University Press
Download Full-text
Michael J. Beeson. Computerizing mathematics: logic and computation. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 191–225.
Journal of Symbolic Logic
◽
10.2307/2275077
◽
1991
◽
Vol 56
(3)
◽
pp. 1090-1091
Author(s):
J. C. Shepherdson
Keyword(s):
New York
◽
Turing Machine
◽
Half Century
◽
Oxford University
◽
Universal Turing Machine
◽
Oxford University Press
Download Full-text
Boris Trakhtenbrot. Comparing the Church and Turing approaches: two prophetical messages. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unversagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988, pp. 603–630.
Journal of Symbolic Logic
◽
10.2307/2275717
◽
1994
◽
Vol 59
(4)
◽
pp. 1434-1436
Author(s):
Giuseppe Longo
Keyword(s):
New York
◽
Turing Machine
◽
Half Century
◽
Oxford University
◽
Universal Turing Machine
◽
The Church
◽
Oxford University Press
Download Full-text
Andrew Hodges. Alan Turing and the Turing machine. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 3–15. - Stephen C. Kleene. Turing's analysis of computahility, and major applications of it. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 17–54. - Robin Gandy. The confluence of ideas in 1936. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 55–111. - Solomon Feferman. Turing in the land of O(z). The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 113–147. - Martin Davis. Mathematical logic and the origin of modern computers. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 149–174.
Journal of Symbolic Logic
◽
10.2307/2275076
◽
1991
◽
Vol 56
(3)
◽
pp. 1089-1090
Author(s):
John N. Crossley
Keyword(s):
New York
◽
Mathematical Logic
◽
Turing Machine
◽
Half Century
◽
Oxford University
◽
Alan Turing
◽
Universal Turing Machine
◽
Martin Davis
◽
Oxford University Press
Download Full-text
Allen H. Brady. The busy beaver game and the meaning of life. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 259–277.
Journal of Symbolic Logic
◽
10.2307/2275078
◽
1991
◽
Vol 56
(3)
◽
pp. 1091-1091
Author(s):
Arnold Oberschelp
Keyword(s):
New York
◽
Turing Machine
◽
Meaning Of Life
◽
Half Century
◽
Oxford University
◽
Universal Turing Machine
◽
Oxford University Press
Download Full-text
By the Hand of Mormon: The American Scripture That Launched a New World Religion. By Terry L. Givens. New York: Oxford University Press, 2002. 320 pp. $30.00 cloth; $16.95 paper. - Believing History: Latter-day Saint Essays. Edited by Richard L. Bushman, Reid L. Neilson, and Woodworth Jed. New York: Columbia University Press, 2004. xviii + 291 pp. $40.00 cloth. - Excavating Mormon Pasts: The New Historiography of the Last Half Century. Edited by Newell G. Bringhurst and Anderson Lavina Fielding. Salt Lake City, Utah: Greg Kofford Books, 2004. xiv + 442 pp. $39.95 cloth.
Church History
◽
10.1017/s0009640700088685
◽
2006
◽
Vol 75
(1)
◽
pp. 216-219
Author(s):
Quincy D. Newell
Keyword(s):
New York
◽
New World
◽
Salt Lake
◽
Salt Lake City
◽
Columbia University
◽
World Religion
◽
Half Century
◽
Oxford University
◽
Lake City
◽
Oxford University Press
Download Full-text
Müller: Naturwissenschaft und Glaube/Miyamoto: Plasma Physics for Nuclear Fusion/Herken: The Universal Turing Machine A Half-Century Survey/Jessen: Bibliographie der Autobiographien/Stix: The Sun/Venkataraman: Journey into Light/Betts: An Introduction to
Physik Journal
◽
10.1002/phbl.19900460120
◽
1990
◽
Vol 46
(1)
◽
pp. 29-32
Author(s):
K. Gottstein
◽
H. Soltwisch
◽
W. Knödel
◽
H. Rechenberg
◽
W. Kalkofen
◽
...
Keyword(s):
Plasma Physics
◽
Turing Machine
◽
Nuclear Fusion
◽
The Sun
◽
Half Century
◽
Universal Turing Machine
Download Full-text
The universal turing machine: A half-century survey
Information Processing & Management
◽
10.1016/0306-4573(96)82605-7
◽
1996
◽
Vol 32
(5)
◽
pp. 640-641
Author(s):
Charles Cole
Keyword(s):
Turing Machine
◽
Half Century
◽
Universal Turing Machine
Download Full-text
Shafi Goldwasser, Silvio Micali, and Charles Rackoff. The knowledge complexity of interactive proof systems. SIAM journal on computing, vol. 18 (1989), pp. 186–208. - Oded Goldreich, Silvio Micali, and Avi Wigderson. Proofs that release minimum knowledge. Mathematical foundations of computer science 1986, Proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25–29, 1986, edited by J. Gruska, B. Rovan, and J. Wiedermann, Lecture notes in computer science, vol. 233, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1986, pp. 639–650. - Oded Goldreich. Randomness, interactive proofs, and zero-knowledge—a survey. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988, pp. 377–405.
Journal of Symbolic Logic
◽
10.2307/2275080
◽
1991
◽
Vol 56
(3)
◽
pp. 1092-1094
Author(s):
Lance Fortnow
Keyword(s):
New York
◽
Computer Science
◽
Turing Machine
◽
Interactive Proof
◽
Siam Journal
◽
Proof Systems
◽
Oxford University
◽
Universal Turing Machine
◽
Interactive Proofs
◽
Mathematical Foundations
Download Full-text
The universal turing machine: A half-century survey
Science of Computer Programming
◽
10.1016/0167-6423(90)90075-o
◽
1990
◽
Vol 13
(2-3)
◽
pp. 267-270
Author(s):
Wlad Turski
Keyword(s):
Turing Machine
◽
Half Century
◽
Universal Turing Machine
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close