The following pages link to Varieties of Iteration Theories (Q3832049):
Displaying 7 items.
- The equational logic of fixed points (Q1391734) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Matrix and matricial iteration theories. I (Q2366691) (← links)
- Equational axioms for regular sets (Q4279247) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
- The algebra of stream processing functions (Q5941194) (← links)