Pages that link to "Item:Q1401250"
From MaRDI portal
The following pages link to On the equational definition of the least prefixed point. (Q1401250):
Displaying 4 items.
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← 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)