Sciweavers

LOGCOM
2008
110views more  LOGCOM 2008»
13 years 4 months ago
On Algebras with Iteration
Abstract. Several concepts of algebras with solutions of recursive equation systems are compared: CPO-enrichable algebras are proved to be iteration algebras of Z.
Jirí Adámek, Stephen L. Bloom, Stefa...