Regex_Equivalence

MaRDI QIDQ43940swMATHFDO

Official website https://www.isa-afp.org/entries/Regex_Equivalence.html

Described by source

• Unified decision procedures for regular expression equivalence

Cited in

(19)

• Verified decision procedures for MSO on words based on derivatives of regular expressions
• Transition_Systems_and_Automata
• Two-Way Automata in Coq
• A mesh of automata
• Derivatives and partial derivatives for regular shuffle expressions
• 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
• scientific article; zbMATH DE number 7471712 (Why is no real title available?)

This page was built for software: Regex_Equivalence