Pages that link to "Item:Q2351151"
From MaRDI portal
The following pages link to A formalisation of the Myhill-Nerode theorem based on regular expressions (Q2351151):
Displaying 8 items.
- Myhill-Nerode (Q40261) (← links)
- The end of pumping (Q1270537) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- A Mechanized Proof of Higman’s Lemma by Open Induction (Q3295156) (← links)
- A Formalisation of Finite Automata Using Hereditarily Finite Sets (Q3454094) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)