The following pages link to (Q4508392):
Displaying 4 items.
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
