The following pages link to Algebras of iteration theories (Q789159):
Displaying 9 items.
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- On flowchart theories. II: The nondeterministic case (Q1101203) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Axiomatizing schemes and their behaviors (Q1819574) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
