Cited in
(19)- On the fine-structure of regular algebra
- FAdo
- Autoref
- CryptHOL
- Myhill-Nerode
- Monomorphic Monad
- Presburger Automata
- LTL_to_DRA
- Regular Sets
- Ordinals Cardinals
- MSO_Regex_Equivalence
- Program-Conflict-Analysis
- Boolean_Expression_Checkers
- A mesh of automata
- scientific article; zbMATH DE number 7471712 (Why is no real title available?)
- Verified decision procedures for MSO on words based on derivatives of regular expressions
- Transition_Systems_and_Automata
- Derivatives and partial derivatives for regular shuffle expressions
- Two-Way Automata in Coq
This page was built for software: Regex_Equivalence
