Theoretical Computer Science logo Elsevier logo

Publisher: Elsevier

Related content
Volume 260, Number 1, 6 June 2001

< previous issue | all issues | next issue >

Foreword
pp. 1-1(1)
Authors: Jacobs B.; Moss L.; Reichel H.; Rutten J.

A Coalgebraic presentation of structured transition systems
pp. 27-55(29)
Authors: Corradini A.; Grosze-Rhode M.; Heckel R.

Equational and implicational classes of coalgebras
pp. 57-69(13)
Author: Gumm H.P.

Covarieties and complete covarieties
pp. 71-86(16)
Authors: Gumm H.P.; Schroder T.

On the structure of categories of coalgebras
pp. 87-117(31)
Authors: Johnstone P.; Power J.; Tsujishita T.; Watanabe H.; Worrell J.

Specifying coalgebras with modal logic
pp. 119-138(20)
Author: Kurz A.

Parametric corecursion
pp. 139-163(25)
Author: Moss L.S.

From modal logic to terminal coalgebras
pp. 209-228(20)
Author: Ro M.

Equational axiomatizability for coalgebra
pp. 229-247(19)
Author: Rosu1 G.

< previous issue | all issues | next issue >

Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page