| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Algorithmic tests and randomness with respect to a class of measures
|
Bienvenu, Laurent
|
|
2011
|
274 |
1 |
p. 34-89
|
artikel
|
| 2 |
A palindromization map on free monoids
|
Luca, Aldo de
|
|
2011
|
274 |
1 |
p. 124-135
|
artikel
|
| 3 |
A polynomial bound on solutions of quadratic equations in free groups
|
Lysenok, Igor G.
|
|
2011
|
274 |
1 |
p. 136-173
|
artikel
|
| 4 |
A simplified proof of arithmetical completeness theorem for provability logic GLP
|
Beklemishev, L. D.
|
|
2011
|
274 |
1 |
p. 25-33
|
artikel
|
| 5 |
A survey of predicate realizability logic
|
Plisko, Valerii E.
|
|
2011
|
274 |
1 |
p. 204-230
|
artikel
|
| 6 |
Attainability of the minimal exponential growth rate for free products of finite cyclic groups
|
Talambutsa, A. L.
|
|
2011
|
274 |
1 |
p. 289-302
|
artikel
|
| 7 |
Bilattices and hyperidentities
|
Movsisyan, Yu. M.
|
|
2011
|
274 |
1 |
p. 174-192
|
artikel
|
| 8 |
Comparison of expressive power of some query languages for databases
|
Taitslin, M. A.
|
|
2011
|
274 |
1 |
p. 273-288
|
artikel
|
| 9 |
Degrees of autostability relative to strong constructivizations
|
Goncharov, S. S.
|
|
2011
|
274 |
1 |
p. 105-115
|
artikel
|
| 10 |
Degree-uniform lower bound on the weights of polynomials with given sign function
|
Podolskii, Vladimir V.
|
|
2011
|
274 |
1 |
p. 231-246
|
artikel
|
| 11 |
Finite quantifier hierarchies in relational algebras
|
Semenov, A. L.
|
|
2011
|
274 |
1 |
p. 267-272
|
artikel
|
| 12 |
Foreword
|
Beklemishev, Lev D.
|
|
2011
|
274 |
1 |
p. 1-3
|
artikel
|
| 13 |
Interpolation properties for provability logics GL and GLP
|
Shamkanov, Daniyar S.
|
|
2011
|
274 |
1 |
p. 303-316
|
artikel
|
| 14 |
Kolmogorov complexity and cryptography
|
Muchnik, Andrej A.
|
|
2011
|
274 |
1 |
p. 193-203
|
artikel
|
| 15 |
On a semicontinuous function
|
Novikov, P. S.
|
|
2011
|
274 |
1 |
p. 4-8
|
artikel
|
| 16 |
On joint conditional complexity (Entropy)
|
Vereshchagin, Nikolay K.
|
|
2011
|
274 |
1 |
p. 90-104
|
artikel
|
| 17 |
On maximal chains of systems of word equations
|
Karhumäki, Juhani
|
|
2011
|
274 |
1 |
p. 116-123
|
artikel
|
| 18 |
On normal subgroups in the periodic products of S.I. Adian
|
Atabekyan, V. S.
|
|
2011
|
274 |
1 |
p. 9-24
|
artikel
|
| 19 |
On squares of modal logics with additional connectives
|
Shehtman, V. B.
|
|
2011
|
274 |
1 |
p. 317-325
|
artikel
|
| 20 |
On the Fon-Der-Flaass interpretation of extremal examples for Turán’s (3, 4)-problem
|
Razborov, Alexander A.
|
|
2011
|
274 |
1 |
p. 247-266
|
artikel
|
Tijdschrift beschrijving