|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(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. |
article |
|
| 2 | A spatial logic for concurrency (part I) |
Caires, Luı́s |
2003 |
186 | 2 |
p. 194-235 42 p. |
article |
|
| 3 | Editorial Board |
2003 |
186 | 2 |
p. IFC- 1 p. |
article |
||
| 4 | Editorial Board–continued |
2003 |
186 | 2 |
p. i- 1 p. |
article |
||
| 5 | Infinite intersection types |
Bonsangue, Marcello M. |
2003 |
186 | 2 |
p. 285-318 34 p. |
article |
|
| 6 | Information and Computation special issue from TACS 2001 |
Kobayashi, Naoki |
2003 |
186 | 2 |
p. 163-164 2 p. |
article |
|
| 7 | Model checking LTL with regular valuations for pushdown systems |
Esparza, Javier |
2003 |
186 | 2 |
p. 355-376 22 p. |
article |
|
| 8 | Nominal logic, a first order theory of names and binding |
Pitts, Andrew M. |
2003 |
186 | 2 |
p. 165-193 29 p. |
article |
|
| 9 | Non-structural subtype entailment in automata theory |
Niehren, Joachim |
2003 |
186 | 2 |
p. 319-354 36 p. |
article |
|
| 10 | The Girard–Reynolds isomorphism |
Wadler, Philip |
2003 |
186 | 2 |
p. 260-284 25 p. |
article |
|
| 11 | Volume Author Index |
2003 |
186 | 2 |
p. 377- 1 p. |
article |
11 results found