The following pages link to (Q4452051):
Displayed 5 items.
- Regular languages and partial commutations (Q391641) (← links)
- Decidable first-order transition logics for PA-processes (Q2575856) (← links)
- Efficiency of automata in semi-commutation verification techniques (Q3515458) (← links)
- A Robust Class of Regular Languages (Q3599114) (← links)
- Shuffle product of regular languages: results and open problems (Q6108717) (← links)