MSO_Regex_Equivalence

MaRDI QIDQ43941swMATHFDO

Authors Dmitriy Traytel, Tobias Nipkow

Publication date 12 June 2014

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

Cites work

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

Described by source

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

Cited in

(12)

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

This page was built for software: MSO_Regex_Equivalence