Covarieties and complete covarieties

Theoretical Computer Science

Volumn 260, Issue 1-2, 2001, Pages 71-86

  Gumm, H Peter ^a   Schröder, Tobias ^a  

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

Bisimulation; Coalgebra; Coalgebraic logic; Complete covariety; Covariety

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; DATA STRUCTURES; MATHEMATICAL MORPHOLOGY; THEOREM PROVING;

COALGEBRAIC LOGICS;

BOOLEAN ALGEBRA;

EID: 0034920954     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00123-7     Document Type: Article

References (6)

1. Terminal coalgebras in well-founded set theory
2. Functors for coalgebras
3. Objects and classes, co-algebraically
4. A tutorial on (co)algebras and (co)induction
5. Coalgebraic logic
6. Universal coalgebra: A theory of systems