Varieties of Iteration Theories
From MaRDI portal
Publication:3832049
DOI10.1137/0217059zbMath0676.68020MaRDI QIDQ3832049
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
18C05: Equational categories
18C10: Theories (e.g., algebraic theories), structure, and semantics
08B99: Varieties
68Q99: Theory of computing
Related Items
Equational axioms for regular sets, The algebra of stream processing functions, The equational logic of fixed points, Equational logic of circular data type specification, Matrix and matricial iteration theories. I