Sciweavers

Share
ENTCS
2008

Coequational Logic for Finitary Functors

8 years 10 months ago
Coequational Logic for Finitary Functors
Coequations, which are subsets of a cofree coalgebra, can be viewed as properties of systems. In case of a polynomial functor, a logic of coequations was formulated by J. Ad
Daniel Schwencke
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Daniel Schwencke
Comments (0)
books