Pages that link to "Item:Q2973247"
From MaRDI portal
The following pages link to Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247):
Displaying 3 items.
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)