The following pages link to (Q4038681):
Displaying 7 items.
- Algorithms for Kleene algebra with converse (Q299194) (← links)
- Container of (min,+)-linear systems (Q457194) (← links)
- Complete systems of \(\mathcal B\)-rational identities (Q1177930) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- (Q5111642) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- (Q5875344) (← links)