Varieties of Iteration Theories

DOI10.1137/0217059MaRDI QIDQ3832049zbMATH OpenOpenAlexFDO

Authors Stephen L. Bloom, Zoltán Ésik

Publication date 1988

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/0217059

zbMATH Keywords

iterationalgebraic theoriesvarieties

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of computing (68Q99) Equational categories (18C05) Varieties (08B99)

Recommendations

• ITERATION ALGEBRAS
• Peano structures and the semantics of iteration
• scientific article; zbMATH DE number 233974
• Some quasi-varieties of iteration theories
• Algebras of iteration theories

Cited in

(12)

• Program correctness and matricial iteration theories
• Solving polynomial fixed point equations
• Some quasi-varieties of iteration theories
• The equational logic of fixed points
• Equational logic of circular data type specification
• The algebra of stream processing functions
• Matrix and matricial iteration theories. I
• Iteration and labelled iteration
• scientific article; zbMATH DE number 6319900 (Why is no real title available?)
• Peano structures and the semantics of iteration
• scientific article; zbMATH DE number 3890699 (Why is no real title available?)
• Equational axioms for regular sets

This page was built for publication: Varieties of Iteration Theories

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