Pages that link to "Item:Q2914749"
From MaRDI portal
The following pages link to A Compact Proof of Decidability for Regular Expression Equivalence (Q2914749):
Displayed 4 items.
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- A formalisation of the Myhill-Nerode theorem based on regular expressions (Q2351151) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)