| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Authentication schemes from actions on graphs, groups, or rings
|
Grigoriev, Dima
|
|
2010
|
162 |
3 |
p. 194-200
7 p.
|
artikel
|
| 2 |
Classical descriptive set theory as a refinement of effective descriptive set theory
|
Moschovakis, Yiannis N.
|
|
2010
|
162 |
3 |
p. 243-255
13 p.
|
artikel
|
| 3 |
Computability of finite-dimensional linear subspaces and best approximation
|
Brattka, Vasco
|
|
2010
|
162 |
3 |
p. 182-193
12 p.
|
artikel
|
| 4 |
Contents
|
|
|
2010
|
162 |
3 |
p. iv-
1 p.
|
artikel
|
| 5 |
Cut-free formulations for a quantified logic of here and there
|
Mints, Grigori
|
|
2010
|
162 |
3 |
p. 237-242
6 p.
|
artikel
|
| 6 |
Preface
|
Artemov, Sergei
|
|
2010
|
162 |
3 |
p. 173-174
2 p.
|
artikel
|
| 7 |
Referee’s report on Leonid Levin’s dissertation “Some Theorems on the Algorithmic Approach to Probability Theory and Information Theory” (November 27, 1972)
|
Shanin, N.A.
|
|
2010
|
162 |
3 |
p. 236-
1 p.
|
artikel
|
| 8 |
Some theorems on the algorithmic approach to probability theory and information theory
|
Levin, Leonid A.
|
|
2010
|
162 |
3 |
p. 224-235
12 p.
|
artikel
|
| 9 |
Structural complexity of AvgBPP
|
Itsykson, Dmitry
|
|
2010
|
162 |
3 |
p. 213-223
11 p.
|
artikel
|
| 10 |
The eskolemization of universal quantifiers
|
Iemhoff, Rosalie
|
|
2010
|
162 |
3 |
p. 201-212
12 p.
|
artikel
|
| 11 |
Unprovability threshold for the planar graph minor theorem
|
Bovykin, Andrey
|
|
2010
|
162 |
3 |
p. 175-181
7 p.
|
artikel
|
Tijdschrift beschrijving