论文信息 - An abstract model for parallel computations : Gandy's thesis - 字舞流文

An abstract model for parallel computations : Gandy's thesis

Wilfried Sieg | John Byrnes | W. Sieg | John Byrnes

[1] Johann A. Makowsky,et al. Gandy's principles for mechanisms as a model of parallel computation , 1988 .

[2] Robin Gandy,et al. Church's Thesis and Principles for Mechanisms , 1980 .

[3] Rolf Herken,et al. The Universal Turing Machine: A Half-Century Survey , 1992 .

[4] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[5] John C. Shepherdson,et al. Mechanism for computing over arbitrary structures , 1988 .

[6] Martin D. Davis,et al. Computability and Unsolvability , 1959, McGraw-Hill Series in Information Processing and Computers.

[7] Wilfried Sieg,et al. A graphical presentation of Gandy's parallel machines' , 1996 .

[8] Wilfried Sieg,et al. K-graph machines : generalizing Turing's machines and arguments , 1996 .

[9] Wilfried Sieg,et al. Mechanical Procedures and Mathematical Experience , 1991 .

[10] Wilfried Sieg,et al. Gödel, Turing, and K-Graph Machines , 1999 .