THE POWER OF THE GROUP-IDENTITIES FOR ITERATION

DOI10.1142/S0218196700000145MaRDI QIDQ4786253zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Conway identities

Mathematics Subject Classification ID

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)

Recommendations

• Group axioms for iteration
• scientific article; zbMATH DE number 4197440
• scientific article; zbMATH DE number 1231455
• Axiomatizing iteration categories
• Completeness of Park induction

Cites work

• Axiomatizing schemes and their behaviors
• Complete systems of \(\mathcal B\)-rational identities
• Completeness of Park induction
• Equational properties of Kleene algebras of relations with conversion
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Group axioms for iteration
• Structured Programming With and Without go to Statements
• The equational logic of fixed points
• The logic of recursive equations
• Vector Iteration in Pointed Iterative Theories

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)