nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains
|
Ogawa, Mizuhito |
|
2003 |
186 |
2 |
p. 236-259 24 p. |
artikel |
2 |
A spatial logic for concurrency (part I)
|
Caires, Luı́s |
|
2003 |
186 |
2 |
p. 194-235 42 p. |
artikel |
3 |
Editorial Board
|
|
|
2003 |
186 |
2 |
p. IFC- 1 p. |
artikel |
4 |
Editorial Board–continued
|
|
|
2003 |
186 |
2 |
p. i- 1 p. |
artikel |
5 |
Infinite intersection types
|
Bonsangue, Marcello M. |
|
2003 |
186 |
2 |
p. 285-318 34 p. |
artikel |
6 |
Information and Computation special issue from TACS 2001
|
Kobayashi, Naoki |
|
2003 |
186 |
2 |
p. 163-164 2 p. |
artikel |
7 |
Model checking LTL with regular valuations for pushdown systems
|
Esparza, Javier |
|
2003 |
186 |
2 |
p. 355-376 22 p. |
artikel |
8 |
Nominal logic, a first order theory of names and binding
|
Pitts, Andrew M. |
|
2003 |
186 |
2 |
p. 165-193 29 p. |
artikel |
9 |
Non-structural subtype entailment in automata theory
|
Niehren, Joachim |
|
2003 |
186 |
2 |
p. 319-354 36 p. |
artikel |
10 |
The Girard–Reynolds isomorphism
|
Wadler, Philip |
|
2003 |
186 |
2 |
p. 260-284 25 p. |
artikel |
11 |
Volume Author Index
|
|
|
2003 |
186 |
2 |
p. 377- 1 p. |
artikel |