|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
3 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Basic Observables for Processes |
Boreale, Michele |
1999 |
149 | 1 |
p. 77-98 22 p. |
article |
|
| 2 | Order-Sorted Inductive Types |
Barthe, Gilles |
1999 |
149 | 1 |
p. 42-76 35 p. |
article |
|
| 3 | Set Constraints and Automata |
Gilleron, Rémi |
1999 |
149 | 1 |
p. 1-41 41 p. |
article |
3 results found