Pages that link to "Item:Q2851929"
From MaRDI portal
The following pages link to A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions (Q2851929):
Displaying 6 items.
- Proof Pearl: regular expression equivalence and relation algebra (Q2392416) (← links)
- A Compact Proof of Decidability for Regular Expression Equivalence (Q2914749) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- A Decision Procedure for Regular Expression Equivalence in Type Theory (Q3100207) (← links)
- Quantitative Verification of Stochastic Regular Expressions (Q5164850) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5244782) (← links)