Theoretical Computer Science

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

Semantic constructions for the specification of objects
pp. 3-25(23)
Author: Crstea¹ C.

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.

Fusion of recursive programs with computational effects
pp. 165-207(43)
Author: Pardo A.

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

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

Author index volume 260 (2001)
pp. 249-249(1)

Master index volumes 251-260
pp. 251-259(9)