Varieties of Iteration Theories

DOI10.1137/0217059zbMath0676.68020OpenAlexW2085922276MaRDI QIDQ3832049

Zoltán Ésik, Stephen L. Bloom

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

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

Related Items

Some quasi-varieties of iteration theories, Matrix and matricial iteration theories. I, Equational axioms for regular sets, Solving polynomial fixed point equations, The equational logic of fixed points, Program correctness and matricial iteration theories, The algebra of stream processing functions, Equational logic of circular data type specification