nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('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. |
artikel |
2 |
Algorithms and complexity in biological pattern formation problems
|
Grigoriev, D. |
|
2006 |
141 |
3 |
p. 412-428 17 p. |
artikel |
3 |
A nonasymptotic lower time bound for a strictly bounded second-order arithmetic
|
Beltiukov, Anatoly P. |
|
2006 |
141 |
3 |
p. 320-324 5 p. |
artikel |
4 |
Author Index
|
|
|
2006 |
141 |
3 |
p. 497-498 2 p. |
artikel |
5 |
Characterizing the interpretation of set theory in Martin-Löf type theory
|
Rathjen, Michael |
|
2006 |
141 |
3 |
p. 442-471 30 p. |
artikel |
6 |
Contents
|
|
|
2006 |
141 |
3 |
p. iv- 1 p. |
artikel |
7 |
Decidable properties for monadic abstract state machines
|
Beauquier, D. |
|
2006 |
141 |
3 |
p. 308-319 12 p. |
artikel |
8 |
Editorial Board
|
|
|
2006 |
141 |
3 |
p. CO2- 1 p. |
artikel |
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. |
artikel |
10 |
Iterated pushdown automata and sequences of rational numbers
|
Fratani, S. |
|
2006 |
141 |
3 |
p. 363-411 49 p. |
artikel |
11 |
On complexity of verification of interacting agents’ behavior
|
Dekhtyar, Michael |
|
2006 |
141 |
3 |
p. 336-362 27 p. |
artikel |
12 |
Preface
|
Matiyasevich, Yuri |
|
2006 |
141 |
3 |
p. 307- 1 p. |
artikel |
13 |
Several notes on the power of Gomory–Chvátal cuts
|
Hirsch, Edward A. |
|
2006 |
141 |
3 |
p. 429-436 8 p. |
artikel |
14 |
Unrecognizability of manifolds
|
Chernavsky, A.V. |
|
2006 |
141 |
3 |
p. 325-335 11 p. |
artikel |