The following pages link to ITERATION ALGEBRAS (Q5286027):
Displaying 6 items.
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
- (Q5203698) (← links)
- Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
