THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
From MaRDI portal
Publication:4786253
DOI10.1142/S0218196700000145zbMATH Open1007.68121OpenAlexW1963650429MaRDI QIDQ4786253FDOQ4786253
Authors: Zoltán Ésik 
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
Recommendations
Algebraic theory of languages and automata (68Q70) Equational logic, Mal'tsev conditions (08B05) Free algebras (08B20) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Cites Work
- Group axioms for iteration
- The equational logic of fixed points
- Completeness of Park induction
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Complete systems of \(\mathcal B\)-rational identities
- Equational properties of Kleene algebras of relations with conversion
- Vector Iteration in Pointed Iterative Theories
- Structured Programming With and Without go to Statements
- Axiomatizing schemes and their behaviors
- The logic of recursive equations
Cited In (7)
- Equational properties of fixed point operations in Cartesian categories: an overview
- Group axioms for 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
- Conway's work on iteration
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- Iteration of operations on classes of groups
This page was built for publication: THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4786253)
