|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
9 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Accelerating Turing Machines |
B. Jack Copeland |
2002 |
12 | 2 |
p. 281-300 20 p. |
article |
|
| 2 | Effective Computation by Humans and Machines |
Oron Shagrir |
2002 |
12 | 2 |
p. 221-240 20 p. |
article |
|
| 3 | Is There a Nonrecursive Decidable Equational Theory? |
Benjamin Wells |
2002 |
12 | 2 |
p. 301-324 24 p. |
article |
|
| 4 | Logically Possible Machines |
Eric Steinhart |
2002 |
12 | 2 |
p. 259-280 22 p. |
article |
|
| 5 | On Effective Procedures |
Carol E. Cleland |
2002 |
12 | 2 |
p. 159-179 21 p. |
article |
|
| 6 | Preface |
2002 |
12 | 2 |
p. 157-158 2 p. |
article |
||
| 7 | Reflections on Gödel's and Gandy's Reflections on Turing's Thesis |
David Israel |
2002 |
12 | 2 |
p. 181-201 21 p. |
article |
|
| 8 | The Scope of Turing's Analysis of Effective Procedures |
Jeremy Seligman |
2002 |
12 | 2 |
p. 203-220 18 p. |
article |
|
| 9 | Toward a Formal Philosophy of Hypercomputation |
Selmer Bringsjord |
2002 |
12 | 2 |
p. 241-258 18 p. |
article |
9 results found