-
1
Just curious: An interview with John Cocke
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
2
-
3
-
4
-
5
-
6
John Cocke - 1987 ACM A. M. Turing Award recipient
Veröffentlicht in Communications of the ACM
VolltextMagazinearticle -
7
John Cocke: The 1987 ACM A.M. Turing Award recipient
Veröffentlicht in Communications of the ACM
VolltextMagazinearticle -
8
-
9
Hao Wang. Tag systems and lag systems. Mathematische Annalen, vol. 152 (1963), pp. 65–74. - John Cocke and Marvin Minsky. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 (1964), pp. 15–20. - Stephen A. Cook. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 223–225
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
10
-
11
-
12
-
13
-
14
-
15
Profitability computations on program flow graphs
Veröffentlicht in Computers & mathematics with applications (1987)
VolltextArtikel -
16
The search for performance in scientific processors: the Turing Award lecture
Veröffentlicht in Communications of the ACM
VolltextMagazinearticle -
17
-
18
-
19
-
20