The following pages link to Group axioms for iteration (Q1283821):
Displayed 13 items.
- Axiomatizing the identities of binoid languages (Q870834) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Group axioms for iteration (Q1283821) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- A proof of the Krohn--Rhodes Decomposition Theorem (Q1575683) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- Inductive \(^{*}\)-semirings (Q1882911) (← links)
- The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
- Iteration Semirings (Q3532996) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253) (← links)
- A Fully Equational Proof of Parikh's Theorem (Q4787831) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)