The following pages link to (Q4375630):
Displayed 4 items.
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)