The following pages link to (Q2711324):
Displayed 17 items.
- Fast equation automaton computation (Q1018095) (← links)
- Derivatives of rational expressions and related theorems. (Q1426157) (← links)
- Automata for regular expressions with shuffle (Q1706150) (← links)
- Canonical derivatives, partial derivatives and finite automaton constructions. (Q1853522) (← links)
- On the size of partial derivatives and the word membership problem (Q2041687) (← links)
- Automata and rational expressions (Q2074204) (← links)
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- A mesh of automata (Q2272980) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection (Q2829969) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- Partial Derivative Automata Formalized in Coq (Q3073622) (← links)
- Derived-Term Automata for Extended Weighted Rational Expressions (Q3179410) (← links)
- Prefix and Right-Partial Derivative Automata (Q3195704) (← links)
- (Q5061515) (← links)
- Partial derivatives of regular expressions over alphabet-invariant and user-defined labels (Q5918273) (← links)
- Average complexity of partial derivatives for synchronised shuffle expressions (Q6199867) (← links)