|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A new natural structural congruence in the pi-calculus with replication |
Engelfriet, Joost |
2004 |
40 | 6-7 |
p. 385-430 |
article |
|
| 2 | Past is for free: on the complexity of verifying linear temporal properties with past |
Markey, Nicolas |
2004 |
40 | 6-7 |
p. 431-458 |
article |
|
| 3 | Reducing non-determinism in right nulled GLR parsers |
Scott, Elizabeth |
2004 |
40 | 6-7 |
p. 459-489 |
article |
|
| 4 | Trajectory-based codes |
Domaratzki, Michael |
2004 |
40 | 6-7 |
p. 491-527 |
article |
4 results found