|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
14 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A generalization of the Second Incompleteness Theorem and some exceptions to it |
Willard, Dan E. |
2006 |
141 | 3 |
p. 472-496 25 p. |
article |
|
| 2 | Algorithms and complexity in biological pattern formation problems |
Grigoriev, D. |
2006 |
141 | 3 |
p. 412-428 17 p. |
article |
|
| 3 | A nonasymptotic lower time bound for a strictly bounded second-order arithmetic |
Beltiukov, Anatoly P. |
2006 |
141 | 3 |
p. 320-324 5 p. |
article |
|
| 4 | Author Index |
2006 |
141 | 3 |
p. 497-498 2 p. |
article |
||
| 5 | Characterizing the interpretation of set theory in Martin-Löf type theory |
Rathjen, Michael |
2006 |
141 | 3 |
p. 442-471 30 p. |
article |
|
| 6 | Contents |
2006 |
141 | 3 |
p. iv- 1 p. |
article |
||
| 7 | Decidable properties for monadic abstract state machines |
Beauquier, D. |
2006 |
141 | 3 |
p. 308-319 12 p. |
article |
|
| 8 | Editorial Board |
2006 |
141 | 3 |
p. CO2- 1 p. |
article |
||
| 9 | Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets |
Muchnik, Andrej |
2006 |
141 | 3 |
p. 437-441 5 p. |
article |
|
| 10 | Iterated pushdown automata and sequences of rational numbers |
Fratani, S. |
2006 |
141 | 3 |
p. 363-411 49 p. |
article |
|
| 11 | On complexity of verification of interacting agents’ behavior |
Dekhtyar, Michael |
2006 |
141 | 3 |
p. 336-362 27 p. |
article |
|
| 12 | Preface |
Matiyasevich, Yuri |
2006 |
141 | 3 |
p. 307- 1 p. |
article |
|
| 13 | Several notes on the power of Gomory–Chvátal cuts |
Hirsch, Edward A. |
2006 |
141 | 3 |
p. 429-436 8 p. |
article |
|
| 14 | Unrecognizability of manifolds |
Chernavsky, A.V. |
2006 |
141 | 3 |
p. 325-335 11 p. |
article |
14 results found