|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author Index for Volume 157 |
2000 |
157 | 1-2 |
p. 236- 1 p. |
artikel |
||
| 2 | Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus |
Walukiewicz, Igor |
2000 |
157 | 1-2 |
p. 142-182 41 p. |
artikel |
|
| 3 | EDITOR'S FOREWORD |
2000 |
157 | 1-2 |
p. 1- 1 p. |
artikel |
||
| 4 | Equality between Functionals in the Presence of Coproducts |
Dougherty, Daniel J. |
2000 |
157 | 1-2 |
p. 52-83 32 p. |
artikel |
|
| 5 | Higher Order Unification via Explicit Substitutions |
Dowek, Gilles |
2000 |
157 | 1-2 |
p. 183-235 53 p. |
artikel |
|
| 6 | Sequentiality, Monadic Second-Order Logic and Tree Automata |
Comon, Hubert |
2000 |
157 | 1-2 |
p. 25-51 27 p. |
artikel |
|
| 7 | Structural Cut Elimination |
Pfenning, Frank |
2000 |
157 | 1-2 |
p. 84-141 58 p. |
artikel |
|
| 8 | Tree Canonization and Transitive Closure |
Etessami, Kousha |
2000 |
157 | 1-2 |
p. 2-24 23 p. |
artikel |
8 gevonden resultaten