The following pages link to Algebras of iteration theories (Q789159):
Displaying 16 items.
- Iterative factor algebras and induced metrics (Q790606) (← links)
- Extensions of iterative congruences of free iterative algebras (Q792751) (← links)
- 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)
- Iterating conditionals and symmetric Stone algebras (Q1910539) (← links)
- Ideals of iterative algebras (Q1920874) (← links)
- Kleene Algebra with Products and Iteration Theories (Q2958536) (← links)
- (Q3795255) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
- (Q5203698) (← links)