Varieties of Iteration Theories

DOI10.1137/0217059zbMATH Open0676.68020OpenAlexW2085922276MaRDI QIDQ3832049FDOQ3832049

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

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

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)

Cited In (12)

• 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
• Title not available (Why is that?)
• Peano structures and the semantics of iteration
• Title not available (Why is that?)
• Equational axioms for regular sets
• Program correctness and matricial iteration theories

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)