The following pages link to (Q4723706):
Displaying 10 items.
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- On diagonal fixed points of increasing functions (Q1960542) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Free \(\mu\)-lattices (Q5960406) (← links)
