MSO_Regex_Equivalence

swMATH32230MaRDI QIDQ43941FDOQ43941

Author name not available (Why is that?)

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

Described by source

• Verified decision procedures for MSO on words based on derivatives of regular expressions

Cited In (12)

• Verified decision procedures for MSO on words based on derivatives of regular expressions
• Derivatives for Enhanced Regular Expressions
• Regular language representations in the constructive type theory of Coq
• Myhill-Nerode
• Presburger Automata
• Regular Sets
• Finite Automata HF
• Hereditarily Finite Sets
• Regex_Equivalence
• Logic programming approach to automata-based decision procedures
• Two-Way Automata in Coq
• Unified decision procedures for regular expression equivalence

This page was built for software: MSO_Regex_Equivalence