|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Author Index for Volume 157 |
2000 |
157 | 1-2 |
p. 236- 1 p. |
article |
||
| 2 | Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus |
Walukiewicz, Igor |
2000 |
157 | 1-2 |
p. 142-182 41 p. |
article |
|
| 3 | EDITOR'S FOREWORD |
2000 |
157 | 1-2 |
p. 1- 1 p. |
article |
||
| 4 | Equality between Functionals in the Presence of Coproducts |
Dougherty, Daniel J. |
2000 |
157 | 1-2 |
p. 52-83 32 p. |
article |
|
| 5 | Higher Order Unification via Explicit Substitutions |
Dowek, Gilles |
2000 |
157 | 1-2 |
p. 183-235 53 p. |
article |
|
| 6 | Sequentiality, Monadic Second-Order Logic and Tree Automata |
Comon, Hubert |
2000 |
157 | 1-2 |
p. 25-51 27 p. |
article |
|
| 7 | Structural Cut Elimination |
Pfenning, Frank |
2000 |
157 | 1-2 |
p. 84-141 58 p. |
article |
|
| 8 | Tree Canonization and Transitive Closure |
Etessami, Kousha |
2000 |
157 | 1-2 |
p. 2-24 23 p. |
article |
8 results found