ITERATION ALGEBRAS

DOI10.1142/S0129054192000164MaRDI QIDQ5286027zbMATH OpenOpenAlexFDO

Authors Stephen L. Bloom, Zoltán Ésik

Publication date 29 June 1993

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054192000164

zbMATH Keywords

\(\omega\)-continuous algebracoproductfree algebrasfunctorsiteration theorypreiteration theoryretractsemantics of flowchart algorithmsstrong iteration algebrastheories of partial functionstheories of sequacious functionstheory congruencesvarieties of iteration algebras

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Free algebras (08B20) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebras of iteration theories
• Varieties of Iteration Theories
• scientific article; zbMATH DE number 1512703
• Some quasi-varieties of iteration theories
• scientific article; zbMATH DE number 4197440

Cited in

(21)

• Completeness of Park induction
• Fixed points in free process algebras. I
• Equational logic of circular data type specification
• Peano structures and the semantics of iteration
• What Are Iteration Theories?
• On Algebras with Iteration
• scientific article; zbMATH DE number 3960962 (Why is no real title available?)
• scientific article; zbMATH DE number 4060752 (Why is no real title available?)
• Varieties of Iteration Theories
• scientific article; zbMATH DE number 1512703 (Why is no real title available?)
• Solving polynomial fixed point equations
• scientific article; zbMATH DE number 4197440 (Why is no real title available?)
• Non-associative Kleene Algebra and Temporal Logics
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• Some quasi-varieties of iteration theories
• Algebras of iteration theories
• Iterative factor algebras and induced metrics
• Extensions of iterative congruences of free iterative algebras
• Axiomatizing the equational theory of regular tree languages
• Iterated tubular algebras
• Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?

This page was built for publication: ITERATION ALGEBRAS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5286027)