ITERATION ALGEBRAS

DOI10.1142/S0129054192000164zbMATH Open0790.08004OpenAlexW4238533884MaRDI QIDQ5286027FDOQ5286027

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)

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

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)