The following pages link to (Q4348001):
Displaying 5 items.
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)