The following pages link to (Q4723706):
Displayed 7 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)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- Free \(\mu\)-lattices (Q5960406) (← links)