What Are Iteration Theories?
From MaRDI portal
Publication:3525573
DOI10.1007/978-3-540-74456-6_23zbMath1147.18301OpenAlexW1572858245MaRDI QIDQ3525573
Jiří Velebil, Stefan Milius, Jiří Adámek
Publication date: 17 September 2008
Published in: Mathematical Foundations of Computer Science 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74456-6_23
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items
Unnamed Item, Equational properties of iterative monads, Elgot theories: a new perspective on the equational properties of iteration, Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)