Sciweavers

LOGCOM
2008
110views more  LOGCOM 2008»
15 years 19 days 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...