Pages that link to "Item:Q2879269"
From MaRDI portal
The following pages link to Unified Decision Procedures for Regular Expression Equivalence (Q2879269):
Displaying 14 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)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← 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 (Q5371957) (← links)
- (Q5875419) (← links)
- Location automata for regular expressions with shuffle and intersection (Q6186310) (← links)
