|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Advice classes of parameterized tractability |
Cai, Liming |
1997 |
84 | 1 |
p. 119-138 20 p. |
artikel |
|
| 2 | An alternative linear semantics for allowed logic programs |
Jeavons, John |
1997 |
84 | 1 |
p. 3-16 14 p. |
artikel |
|
| 3 | Automorphisms in the PTIME-Turing degrees of recursive sets |
Haught, Christine Ann |
1997 |
84 | 1 |
p. 139-152 14 p. |
artikel |
|
| 4 | Characterizing language identification in terms of computable numberings |
Jain, Sanjay |
1997 |
84 | 1 |
p. 51-72 22 p. |
artikel |
|
| 5 | Contraction-elimination for implicational logics |
Kashima, Ryo |
1997 |
84 | 1 |
p. 17-39 23 p. |
artikel |
|
| 6 | Editorial Board |
1997 |
84 | 1 |
p. ii-iii nvt p. |
artikel |
||
| 7 | Preface |
Chong, C.T. |
1997 |
84 | 1 |
p. 1- 1 p. |
artikel |
|
| 8 | Strong polynomial-time reducibility |
Shinoda, Juichi |
1997 |
84 | 1 |
p. 97-117 21 p. |
artikel |
|
| 9 | Syntactic characterizations of closure under pullbacks and of locally polypresentable categories |
Hébert, Michel |
1997 |
84 | 1 |
p. 73-95 23 p. |
artikel |
|
| 10 | The self-embedding theorem of WKL0 and a non-standard method |
Tanaka, Kazuyuki |
1997 |
84 | 1 |
p. 41-49 9 p. |
artikel |
10 gevonden resultaten