|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A gap property of deterministic tree languages |
Niwiński, Damian |
2003 |
303 | 1 |
p. 215-231 17 p. |
artikel |
|
| 2 | Algebraic proof systems over formulas |
Grigoriev, Dima |
2003 |
303 | 1 |
p. 83-102 20 p. |
artikel |
|
| 3 | A termination proof for epsilon substitution using partial derivations |
Mints, G. |
2003 |
303 | 1 |
p. 187-213 27 p. |
artikel |
|
| 4 | Biography of A.O. Slissenko |
Beauquier, Danièle |
2003 |
303 | 1 |
p. 3-5 3 p. |
artikel |
|
| 5 | Complexity of some problems in positive and related calculi |
Maksimova, L. |
2003 |
303 | 1 |
p. 171-185 15 p. |
artikel |
|
| 6 | Editorial board v-ix |
2003 |
303 | 1 |
p. v-ix nvt p. |
artikel |
||
| 7 | Finding approximate repetitions under Hamming distance |
Kolpakov, Roman |
2003 |
303 | 1 |
p. 135-156 22 p. |
artikel |
|
| 8 | Foreword |
Beauquier, Danièle |
2003 |
303 | 1 |
p. 1- 1 p. |
artikel |
|
| 9 | Functional labels and syntactic entropy on DNA strings and proteins |
Carbone, A. |
2003 |
303 | 1 |
p. 35-51 17 p. |
artikel |
|
| 10 | Games for synthesis of controllers with partial observation |
Arnold, A. |
2003 |
303 | 1 |
p. 7-34 28 p. |
artikel |
|
| 11 | On categorical equivalence of Gentzen-style derivations in IMLL |
Soloviev, Sergei |
2003 |
303 | 1 |
p. 245-260 16 p. |
artikel |
|
| 12 | On feasible cases of checking multi-agent systems behavior |
Dekhtyar, Michael |
2003 |
303 | 1 |
p. 63-81 19 p. |
artikel |
|
| 13 | On temporal logic versus datalog |
Guessarian, Irène |
2003 |
303 | 1 |
p. 103-133 31 p. |
artikel |
|
| 14 | On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity |
Cégielski, Patrick |
2003 |
303 | 1 |
p. 53-62 10 p. |
artikel |
|
| 15 | Resolution lower bounds for the weak functional pigeonhole principle |
Razborov, Alexander A. |
2003 |
303 | 1 |
p. 233-243 11 p. |
artikel |
|
| 16 | Tree-width and the monadic quantifier hierarchy |
Makowsky, J.A. |
2003 |
303 | 1 |
p. 157-170 14 p. |
artikel |
16 gevonden resultaten