![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 260
Volume 260, Number 1-2, 6 June 2001
- Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
Foreword : Coalgebraic Methods in Computer Science 1998. 1 - Corina Cîrstea:
Semantic constructions for the specification of objects. 3-25 - Andrea Corradini
, Martin Große-Rhode, Reiko Heckel:
A Coalgebraic presentation of structured transition systems. 27-55 - H. Peter Gumm:
Equational and implicational classes of coalgebras. 57-69 - H. Peter Gumm, Tobias Schröder:
Covarieties and complete covarieties. 71-86 - Peter T. Johnstone, John Power
, Toru Tsujishita, Hiroshi Watanabe
, James Worrell
:
On the structure of categories of coalgebras. 87-117 - Alexander Kurz
:
Specifying coalgebras with modal logic. 119-138 - Lawrence S. Moss:
Parametric corecursion. 139-163 - Alberto Pardo:
Fusion of recursive programs with computational effects. 165-207 - Martin Rößiger:
From modal logic to terminal coalgebras. 209-228 - Grigore Rosu:
Equational axiomatizability for coalgebra. 229-247
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.