Volume 260; Issue 1-2

Theoretical Computer Science

Volume 260; Issue 1-2
1

Foreword

Bart Jacobs, Larry Moss, Horst Reichel, Jan Rutten
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 29 KB
english, 2001
2

Semantic constructions for the specification of objects

Corina Cı̂rstea
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 203 KB
english, 2001
3

A Coalgebraic presentation of structured transition systems

Andrea Corradini, Martin Große-Rhode, Reiko Heckel
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 228 KB
english, 2001
4

Equational and implicational classes of coalgebras

H.Peter Gumm
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 124 KB
english, 2001
5

Covarieties and complete covarieties

H.Peter Gumm, Tobias Schröder
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 139 KB
english, 2001
6

On the structure of categories of coalgebras

Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 240 KB
english, 2001
7

Specifying coalgebras with modal logic

Alexander Kurz
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 156 KB
english, 2001
8

Parametric corecursion

Lawrence S. Moss
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 198 KB
english, 2001
9

Fusion of recursive programs with computational effects

Alberto Pardo
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 283 KB
english, 2001
10

From modal logic to terminal coalgebras

Martin Rö
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 204 KB
english, 2001
11

Equational axiomatizability for coalgebra

Grigore Roşu
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 155 KB
english, 2001
12

Author index volume 260 (2001)

Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 35 KB
english, 2001
13

Master index volumes 251–260

Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 101 KB
english, 2001