Pages that link to "Item:Q673635"

The following pages link to Rewriting extended regular expressions (Q673635):

Displaying 9 items.

• Partial derivatives of regular expressions and finite automaton constructions (Q672142) (← links)
• Embedding finite automata within regular expressions (Q947783) (← links)
• Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
• Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
• A synchronous effects logic for temporal verification of pure Esterel (Q2234089) (← 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)
• Rewriting regular inequalities (Q5055882) (← links)