nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Alternating minima and maxima, Nash equilibria and Bounded Arithmetic
|
Pudlák, Pavel |
|
2012 |
163 |
5 |
p. 604-614 11 p. |
artikel |
2 |
Computability in Europe 2009
|
Ambos-Spies, Klaus |
|
2012 |
163 |
5 |
p. 483-484 2 p. |
artikel |
3 |
Computable de Finetti measures
|
Freer, Cameron E. |
|
2012 |
163 |
5 |
p. 530-546 17 p. |
artikel |
4 |
Computably categorical Boolean algebras enriched by ideals and atoms
|
Alaev, P.E. |
|
2012 |
163 |
5 |
p. 485-499 15 p. |
artikel |
5 |
Contents
|
|
|
2012 |
163 |
5 |
p. iv- 1 p. |
artikel |
6 |
Decidability questions for a ring of Laurent polynomials
|
Sirokofskich, Alla |
|
2012 |
163 |
5 |
p. 615-619 5 p. |
artikel |
7 |
Empty intervals in the enumeration degrees
|
Kent, Thomas F. |
|
2012 |
163 |
5 |
p. 567-574 8 p. |
artikel |
8 |
Martin-Löf randomness and Galton–Watson processes
|
Diamondstone, David |
|
2012 |
163 |
5 |
p. 519-529 11 p. |
artikel |
9 |
Randomness and lowness notions via open covers
|
Bienvenu, Laurent |
|
2012 |
163 |
5 |
p. 506-518 13 p. |
artikel |
10 |
The extensional ordering of the sequential functionals
|
Normann, D. |
|
2012 |
163 |
5 |
p. 575-603 29 p. |
artikel |
11 |
The high/low hierarchy in the local structure of the ω -enumeration degrees
|
Ganchev, Hristo |
|
2012 |
163 |
5 |
p. 547-566 20 p. |
artikel |
12 |
Tracing and domination in the Turing degrees
|
Barmpalias, George |
|
2012 |
163 |
5 |
p. 500-505 6 p. |
artikel |