The following pages link to Regex_Equivalence (Q43940):
Displaying 7 items.
- (Q47934) (redirect page) (← links)
- A mesh of automata (Q2272980) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Derivatives and partial derivatives for regular shuffle expressions (Q2424692) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- (Q5028480) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)