Pages that link to "Item:Q2879269"
From MaRDI portal
The following pages link to Unified Decision Procedures for Regular Expression Equivalence (Q2879269):
Displaying 20 items.
- Regex_Equivalence (Q43940) (← links)
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- Location based automata for expressions with shuffle (Q2232263) (← links)
- A mesh of automata (Q2272980) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Derivatives and partial derivatives for regular shuffle expressions (Q2424692) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- A Compact Proof of Decidability for Regular Expression Equivalence (Q2914749) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- A Decision Procedure for Regular Expression Equivalence in Type Theory (Q3100207) (← links)
- A Formalisation of Finite Automata Using Hereditarily Finite Sets (Q3454094) (← links)
- (Q5028480) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5244782) (← links)
- (Q5338329) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)
- (Q5875419) (← links)
- Location automata for regular expressions with shuffle and intersection (Q6186310) (← links)
- Pumping, with or without choice (Q6536320) (← links)