Equational and implicational classes of coalgebras

Authors:
H. Peter Gumm
Affiliations:
Philipps Univ. Marburg, Marburg, Germany
Venue:
Theoretical Computer Science
Year:
2001

Citing 0
Cited 4

Modal operators and the formal dual of Birkhoff's completeness theorem

Mathematical Structures in Computer Science
Operations and equations for coalgebras

Mathematical Structures in Computer Science
The intersection of algebra and coalgebra

Theoretical Computer Science - Algebra and coalgebra in computer science
Cofree coalgebras for signature morphisms

Formal Methods in Software and Systems Modeling

Quantified Score

Hi-index	5.23

Visualization

Abstract