The following pages link to (Q2819377):
Displayed 7 items.
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- On the semantics of regular expression parsing in the wild (Q2357106) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- Partial Derivative Automata Formalized in Coq (Q3073622) (← links)
- New (Q3178271) (← links)