|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
214
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
117
|
Terminal coalgebras in well-founded set theory
– M Barr
- 1993
|
|
55
|
Structural Induction and Coinduction in a Fibrational Setting
– Claudio Hermida, Bart Jacobs
- 1997
|
|
156
|
N.: A Final Coalgebra Theorem
– P Aczel, Mendler
- 1989
|
|
85
|
Coalgebraic Logic
– Lawrence S. Moss
- 1999
|
|
67
|
Objects and Classes, Coalgebraically
– B. Jacobs, Issn -x, Bart Jacobs
- 1995
|
|
242
|
Relations in Concurrency
– Glynn Winskel
|
|
52
|
Initial Algebra and Final Coalgebra Semantics for Concurrency
– Jan Rutten, Daniele Turi
- 1994
|
|
55
|
Logics for Coalgebras and Applications to Computer Science
– A Kurz
- 2001
|
|
51
|
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
– B. P. F. Jacobs, Bart Jacobs
- 2001
|
|
90
|
An approach to object semantics based on terminal co-algebras
– H Reichel
- 1995
|
|
597
|
Concurrency and automata on infinite sequences
– D M R Park
- 1981
|
|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
33
|
The Temporal Logic of Coalgebras via Galois Algebras
– Bart Jacobs
- 1999
|
|
7
|
Coalgebras and Modal Logic
– M Rossiger
- 2000
|
|
8
|
From Modal Logic to Terminal Coalgebras
– M Rossiger
- 2001
|
|
57
|
Specifying coalgebras with modal logic
– Alexander Kurz
- 2001
|
|
22
|
V.: On the greatest fixed point of a set functor
– J Adámek, Koubek
- 1995
|
