The following pages link to MSO_Regex_Equivalence (Q43941):
Displaying 7 items.
- (Q47935) (redirect page) (← links)
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- Derivatives for Enhanced Regular Expressions (Q2830228) (← links)
- Unified Decision Procedures for Regular Expression Equivalence (Q2879269) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5244782) (← links)