Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

LOGCOM
2008

favoriteEmaildiscussreport

110views more LOGCOM 2008»

On Algebras with Iteration

13 years 4 months ago

On Algebras with Iteration

Download www.iti.cs.tu-bs.de

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

Real-time Traffic

Algebras | CPO-enrichable Algebras | Iteration Algebras | LOGCOM 2008 |

claim paper

Related Content

» Complete Iterativity for Algebras with Effects

» Iterative algebraic softdecision list decoding of ReedSolomon codes

» A novel partial differential algebraic equation PDAE solver iterative spacetime conservati...

» A Posteriori Error Estimates Including Algebraic Error and Stopping Criteria for Iterative...

» Iterative reflections of monads

» Axiomatizations for the Perpetual Loop in Process Algebra

» Iterative methods for computing generalized inverses

» Iteration Algebras Are Not Finitely Axiomatizable Extended Abstract

» Complete Axioms for Categorical FixedPoint Operators

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	LOGCOM
Authors	Jirí Adámek, Stephen L. Bloom, Stefan Milius

Comments (0)