Pages that link to "Item:Q1106011"
From MaRDI portal
The following pages link to Independence of the equational axioms for iteration theories (Q1106011):
Displaying 14 items.
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based (Q1274921) (← links)
- Group axioms for iteration (Q1283821) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
- (Q5203698) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
