Volume 260,
Number 1-2,
6 June 2001
Coalgebraic Methods in Computer Science 1998
- Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
Foreword : Coalgebraic Methods in Computer Science 1998.
1
Electronic Edition (link) BibTeX
- Corina Cîrstea:
Semantic constructions for the specification of objects.
3-25
Electronic Edition (link) BibTeX
- Andrea Corradini, Martin Große-Rhode, Reiko Heckel:
A Coalgebraic presentation of structured transition systems.
27-55
Electronic Edition (link) BibTeX
- H. Peter Gumm:
Equational and implicational classes of coalgebras.
57-69
Electronic Edition (link) BibTeX
- H. Peter Gumm, Tobias Schröder:
Covarieties and complete covarieties.
71-86
Electronic Edition (link) BibTeX
- Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell:
On the structure of categories of coalgebras.
87-117
Electronic Edition (link) BibTeX
- Alexander Kurz:
Specifying coalgebras with modal logic.
119-138
Electronic Edition (link) BibTeX
- Lawrence S. Moss:
Parametric corecursion.
139-163
Electronic Edition (link) BibTeX
- Alberto Pardo:
Fusion of recursive programs with computational effects.
165-207
Electronic Edition (link) BibTeX
- Martin Rö:
From modal logic to terminal coalgebras.
209-228
Electronic Edition (link) BibTeX
- Grigore Rosu:
Equational axiomatizability for coalgebra.
229-247
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:24:39 2009
by Michael Ley (ley@uni-trier.de)
