|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
13 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Coalgebraic presentation of structured transition systems |
Corradini, Andrea |
2001 |
260 | 1-2 |
p. 27-55 29 p. |
article |
|
| 2 | Author index volume 260 (2001) |
2001 |
260 | 1-2 |
p. 249- 1 p. |
article |
||
| 3 | Covarieties and complete covarieties |
Gumm, H.Peter |
2001 |
260 | 1-2 |
p. 71-86 16 p. |
article |
|
| 4 | Equational and implicational classes of coalgebras |
Gumm, H.Peter |
2001 |
260 | 1-2 |
p. 57-69 13 p. |
article |
|
| 5 | Equational axiomatizability for coalgebra |
Roşu, Grigore |
2001 |
260 | 1-2 |
p. 229-247 19 p. |
article |
|
| 6 | Foreword |
Jacobs, Bart |
2001 |
260 | 1-2 |
p. 1- 1 p. |
article |
|
| 7 | From modal logic to terminal coalgebras |
Rö, Martin |
2001 |
260 | 1-2 |
p. 209-228 20 p. |
article |
|
| 8 | Fusion of recursive programs with computational effects |
Pardo, Alberto |
2001 |
260 | 1-2 |
p. 165-207 43 p. |
article |
|
| 9 | Master index volumes 251–260 |
2001 |
260 | 1-2 |
p. 251-259 9 p. |
article |
||
| 10 | On the structure of categories of coalgebras |
Johnstone, Peter |
2001 |
260 | 1-2 |
p. 87-117 31 p. |
article |
|
| 11 | Parametric corecursion |
Moss, Lawrence S. |
2001 |
260 | 1-2 |
p. 139-163 25 p. |
article |
|
| 12 | Semantic constructions for the specification of objects |
Cı̂rstea, Corina |
2001 |
260 | 1-2 |
p. 3-25 23 p. |
article |
|
| 13 | Specifying coalgebras with modal logic |
Kurz, Alexander |
2001 |
260 | 1-2 |
p. 119-138 20 p. |
article |
13 results found