-
3
-
-
6344291533
-
Turing machines, transition systems, and interaction
-
Nov.
-
D. Goldin, S. Smolka, P. Attie, E. Sonderegger. Turing Machines, Transition Systems, and Interaction. Information & Computation J., Nov. 2004.
-
(2004)
Information & Computation J.
-
-
Goldin, D.1
Smolka, S.2
Attie, P.3
Sonderegger, E.4
-
4
-
-
26444603940
-
The church-turing thesis: Breaking the myth
-
Springer, June
-
D. Goldin, P. Wegner. The Church-Turing Thesis: Breaking the Myth. LNCS 3526, Springer, June 2005, pp. 152-168.
-
(2005)
LNCS
, vol.3526
, pp. 152-168
-
-
Goldin, D.1
Wegner, P.2
-
5
-
-
84887931490
-
-
Fundamental Algorithms, Addison-Wesley
-
D. Knuth. The Art of Computer Programming, Vol. 1: Fundamental Algorithms. Addison-Wesley, 1968.
-
(1968)
The Art of Computer Programming
, vol.1
-
-
Knuth, D.1
-
8
-
-
1842651205
-
-
Holt, Rinehart and Winston
-
J. K. Rice, J. N. Rice. Computer Science: Problems, Algorithms, Languages, Information and Computers. Holt, Rinehart and Winston, 1969.
-
(1969)
Computer Science: Problems, Algorithms, Languages, Information and Computers
-
-
Rice, J.K.1
Rice, J.N.2
-
9
-
-
0032289479
-
Why church's thesis still holds - Some notes on peter wegner's tracts on interaction and computability
-
M. Prasse, P. Rittgen. Why Church's Thesis Still Holds - Some Notes on Peter Wegner's Tracts on Interaction and Computability, Computer Journal 41:6, 1998, pp. 357-362.
-
(1998)
Computer Journal
, vol.41
, Issue.6
, pp. 357-362
-
-
Prasse, M.1
Rittgen, P.2
-
12
-
-
84960561455
-
On computable numbers, with an application to the entscheidungsproblem
-
A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem, Proc. London Math. Soc., 42:2, 1936, pp. 230-265;
-
(1936)
Proc. London Math. Soc.
, vol.42
, Issue.2
, pp. 230-265
-
-
Turing, A.1
-
13
-
-
84960599352
-
Systems of logic based on ordinals
-
A. Turing. Systems of logic based on ordinals, Proc. London Math. Soc., 45:2, 1939, 161-228.
-
(1939)
Proc. London Math. Soc.
, vol.45
, Issue.2
, pp. 161-228
-
-
Turing, A.1
-
14
-
-
0002988210
-
Computing machinery and intelligence
-
A. Turing. Computing Machinery and Intelligence, Mind, 1950.
-
(1950)
Mind
-
-
Turing, A.1
-
16
-
-
0031144006
-
Why interaction is more powerful than algorithms
-
May
-
P. Wegner. Why Interaction is More Powerful Than Algorithms. Comm. ACM, May 1997.
-
(1997)
Comm. ACM
-
-
Wegner, P.1
-
17
-
-
0002973118
-
Interactive foundations of computing
-
Feb.
-
P. Wegner. Interactive Foundations of Computing. T heoretical C om puter Science 192, Feb. 1998.
-
(1998)
T Heoretical C Om Puter Science
, vol.192
-
-
Wegner, P.1
|