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

free algebrasretractfunctorscoproductiteration theory\(\omega\)-continuous algebrapreiteration theorysemantics of flowchart algorithmsstrong iteration algebrastheories of partial functionstheories of sequacious functionstheory congruencesvarieties of iteration algebras

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(20)

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

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)