Pages that link to "Item:Q3616446"
From MaRDI portal
The following pages link to Regular-expression derivatives re-examined (Q3616446):
Displayed 17 items.
- Incomplete operational transition complexity of regular languages (Q498392) (← links)
- Efficient enumeration of regular expressions for faster regular expression synthesis (Q2117664) (← links)
- A formalisation of the Myhill-Nerode theorem based on regular expressions (Q2351151) (← links)
- Proof Pearl: regular expression equivalence and relation algebra (Q2392416) (← links)
- Derivatives and partial derivatives for regular shuffle expressions (Q2424692) (← links)
- Derivatives for Regular Shuffle Expressions (Q2799179) (← links)
- Derived-Term Automata of Multitape Rational Expressions (Q2830207) (← links)
- Derivatives for Enhanced Regular Expressions (Q2830228) (← links)
- Partial Derivatives for Context-Free Languages (Q2988372) (← links)
- A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl) (Q3088018) (← links)
- A Decision Procedure for Regular Expression Equivalence in Type Theory (Q3100207) (← links)
- Derived-Term Automata for Extended Weighted Rational Expressions (Q3179410) (← links)
- (Q5003077) (← links)
- Proof-directed program transformation: A functional account of efficient regular expression matching (Q5016216) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)
- Calculational design of a regular model checker by abstract interpretation (Q5896884) (← links)
- Bidirectional grammars for machine-code decoding and encoding (Q5915877) (← links)