Sciweavers

73
Voted
LOGCOM
2008
110views more  LOGCOM 2008»
14 years 10 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...