|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Axiomatising extended computation tree logic |
Kaivola, Roope |
1998 |
190 | 1 |
p. 41-60 20 p. |
article |
|
| 2 | Computing in unpredictable environments: semantics, reduction strategies, and program transformations |
Lisper, Björn |
1998 |
190 | 1 |
p. 61-85 25 p. |
article |
|
| 3 | Editorial |
Kirchner, Hélène |
1998 |
190 | 1 |
p. 1-2 2 p. |
article |
|
| 4 | Editorial Board |
1998 |
190 | 1 |
p. vii-viii nvt p. |
article |
||
| 5 | Interaction nets and term-rewriting systems |
Fernández, Maribel |
1998 |
190 | 1 |
p. 3-39 37 p. |
article |
|
| 6 | Open maps, behavioural equivalences, and congruences 1 |
Cheng, Allan |
1998 |
190 | 1 |
p. 87-112 26 p. |
article |
6 results found