Elements Of The General Theory Of Coalgebras (1999)

by H. Peter Gumm
Citations:30 - 7 self

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
89 Coalgebraic Logic – Lawrence S. Moss - 1999
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
62 Automata and coinduction (an exercise in coalgebra – J. J. M. M. Rutten - 1998
15 A note on coinduction and weak bisimilarity for While programs – Jan J M M Rutten - 1999
18 Conditional Circular Coinductive Rewriting with Case Analysis – Joseph Goguen, Kai Lin, Grigore Rosu - 2002
52 A fixpoint theorem for complete categories – J Lambek - 1968
7 A Coalgebraic Equational Approach to Specifying Observational Structures, Theoretical Computer Science 280 – C Cîrstea - 2002
34 Observer Complete Definitions are Behaviourally Coherent – Michel Bidoit , Rolf Hennicker - 1999
45 Universal Coalgebra: A Theory of Systems, Theoretical Computer Science 249 – J J M M Rutten - 2000
36 The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics – Hendrik Tews - 2002
8 A final coalgebra theorem, Proceedings category theory and computer science – P Aczel, N Mendler - 1989
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
16 Functors for coalgebras, Algebra Universalis – H P Gumm
9 Coalgebraic logic, Ann – L Moss - 1999
8 Birkhoff's variety theorem for coalgebras – H. Peter Gumm - 2001
226 Abstract and Concrete Categories – J Adámek, H Herrlich, G Strecker - 1990