Regex_Equivalence

swMATH32229MaRDI QIDQ43940FDOQ43940

Author name not available (Why is that?)

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

Described by source

• Unified decision procedures for regular expression equivalence

Cited In (19)

• Transition_Systems_and_Automata
• On the fine-structure of regular algebra
• FAdo
• Autoref
• Title not available (Why is that?)
• A mesh of automata
• CryptHOL
• Myhill-Nerode
• Monomorphic Monad
• Presburger Automata
• LTL_to_DRA
• Regular Sets
• Ordinals Cardinals
• MSO_Regex_Equivalence
• Program-Conflict-Analysis
• Verified decision procedures for MSO on words based on derivatives of regular expressions
• Boolean_Expression_Checkers
• Derivatives and partial derivatives for regular shuffle expressions
• Two-Way Automata in Coq

This page was built for software: Regex_Equivalence