Pages that link to "Item:Q2915138"
From MaRDI portal
The following pages link to Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138):
Displaying 4 items.
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)
