Pages that link to "Item:Q3100207"
From MaRDI portal
The following pages link to A Decision Procedure for Regular Expression Equivalence in Type Theory (Q3100207):
Displaying 10 items.
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- A formalisation of the Myhill-Nerode theorem based on regular expressions (Q2351151) (← links)
- POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) (Q2829247) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)
- POSIX lexing with derivatives of regular expressions (Q6111525) (← links)
