Regex_Equivalence

MaRDI QIDQ43940swMATHFDO

Authors Tobias Nipkow, Dmitriy Traytel

Publication date 30 January 2014

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

Cites work

• Unified decision procedures for regular expression equivalence

Described by source

• Unified decision procedures for regular expression equivalence

Cited in

(19)

• FAdo
• A mesh of automata
• On the fine-structure of regular algebra
• Derivatives and partial derivatives for regular shuffle expressions
• Autoref
• Two-Way Automata in Coq
• Myhill-Nerode
• CryptHOL
• Monomorphic Monad
• Presburger Automata
• Regular Sets
• LTL_to_DRA
• Ordinals Cardinals
• Program-Conflict-Analysis
• MSO_Regex_Equivalence
• Quotients of bounded natural functors
• Verified decision procedures for MSO on words based on derivatives of regular expressions
• Boolean_Expression_Checkers
• Transition_Systems_and_Automata

This page was built for software: Regex_Equivalence