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
Recommendations
free algebrasretractfunctorscoproductiteration theory\(\omega\)-continuous algebrapreiteration theorysemantics of flowchart algorithmsstrong iteration algebrastheories of partial functionstheories of sequacious functionstheory congruencesvarieties of iteration algebras
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)
Cited In (20)
- Solving polynomial fixed point equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
- What Are Iteration Theories?
- Extensions of iterative congruences of free iterative algebras
- Axiomatizing the equational theory of regular tree languages
- Some quasi-varieties of iteration theories
- Completeness of Park induction
- Equational logic of circular data type specification
- Varieties of Iteration Theories
- Non-associative Kleene Algebra and Temporal Logics
- Iterated tubular algebras
- On Algebras with Iteration
- Algebras of iteration theories
- Peano structures and the semantics of iteration
- Iterative factor algebras and induced metrics
- Title not available (Why is that?)
- Fixed points in free process algebras. I
- Title not available (Why is that?)
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)