|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Arity and alternation in second-order logic |
Makowsky, J.A. |
1996 |
78 | 1-3 |
p. 189-202 14 p. |
artikel |
|
| 2 | Author index |
1996 |
78 | 1-3 |
p. 271- 1 p. |
artikel |
||
| 3 | Data storage interpretation of labeled modal logic |
Artëmov, Sergei |
1996 |
78 | 1-3 |
p. 57-71 15 p. |
artikel |
|
| 4 | Editorial Board |
1996 |
78 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 5 | Effective content of the calculus of variations I: Semi-continuity and the chattering lemma |
Ge, Xiaolin |
1996 |
78 | 1-3 |
p. 127-146 20 p. |
artikel |
|
| 6 | Interpolating d-r.e. and REA degrees between r.e. degrees |
Arslanov, Marat |
1996 |
78 | 1-3 |
p. 29-56 28 p. |
artikel |
|
| 7 | Linear logic automata |
Kanovich, Max I. |
1996 |
78 | 1-3 |
p. 147-188 42 p. |
artikel |
|
| 8 | Linear logic for nets with bounded resources |
Archangelsky, Dmitry A. |
1996 |
78 | 1-3 |
p. 3-28 26 p. |
artikel |
|
| 9 | McNaughton games and extracting strategies for concurrent programs |
Nerode, Anil |
1996 |
78 | 1-3 |
p. 203-242 40 p. |
artikel |
|
| 10 | Normal forms for second-order logic over finite structures, and classification of NP optimization problems |
Eiter, Thomas |
1996 |
78 | 1-3 |
p. 111-125 15 p. |
artikel |
|
| 11 | On recursively enumerable structures |
Selivanov, Victor |
1996 |
78 | 1-3 |
p. 243-258 16 p. |
artikel |
|
| 12 | Preface |
Matiyasevich, Yuri |
1996 |
78 | 1-3 |
p. 1- 1 p. |
artikel |
|
| 13 | Topological reasoning and the logic of knowledge |
Dabrowski, Andrew |
1996 |
78 | 1-3 |
p. 73-110 38 p. |
artikel |
|
| 14 | Was Sierpiński right? III Can continuum-c.c. times c.c.c. be continuum-c.c.? |
Shelah, Saharon |
1996 |
78 | 1-3 |
p. 259-269 11 p. |
artikel |
14 gevonden resultaten