THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
From MaRDI portal
Publication:4786253
DOI10.1142/S0218196700000145zbMath1007.68121OpenAlexW1963650429MaRDI QIDQ4786253
Publication date: 15 December 2002
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196700000145
Algebraic theory of languages and automata (68Q70) Equational logic, Mal'tsev conditions (08B05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Free algebras (08B20)
Related Items
Conway's work on iteration, Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview, Equational axioms associated with finite automata for fixed point operations in cartesian categories, Equational properties of fixed-point operations in cartesian categories: An overview, Axiomatizing weighted synchronization trees and weighted bisimilarity
Cites Work
- Equational properties of Kleene algebras of relations with conversion
- Complete systems of \(\mathcal B\)-rational identities
- Group axioms for iteration
- The equational logic of fixed points
- Completeness of Park induction
- Axiomatizing schemes and their behaviors
- Vector Iteration in Pointed Iterative Theories
- Structured Programming With and Without go to Statements
- The logic of recursive equations
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES