The following pages link to Varieties of Iteration Theories (Q3832049):
Displayed 5 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)
- The algebra of stream processing functions (Q5941194) (← links)