A Decision Procedure for Regular Expression Equivalence in Type Theory
No abstract available.
DOI 10.1007/978-3-642-25379-9_11
Related papers
- Verified decision procedures for MSO on words based on derivatives of regular expressions ICFP 2013
- Verified decision procedures for MSO on words based on derivatives of regular expressions JFP 2015
- Decision Procedures for Sequence Theories CAV 2023
- A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints APLAS 2018
- Regex Decision Procedures in Extended RE# CAV 2025
- Symbolic finite state transducers: algorithms and applications POPL 2012
- A decision procedure for subset constraints over regular languages PLDI 2009
- Symbolic Boolean derivatives for efficiently solving extended regular expression constraints PLDI 2021