Pages that link to "Item:Q1106011"

The following pages link to Independence of the equational axioms for iteration theories (Q1106011):

Displaying 10 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)