MSO_Regex_Equivalence

swMATH32230MaRDI QIDQ43941FDOQ43941

Author name not available (Why is that?)

Described by source

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

Cited In (6)

• Verified decision procedures for MSO on words based on derivatives of regular expressions
• Unified Decision Procedures for Regular Expression Equivalence
• Derivatives for Enhanced Regular Expressions
• Regular language representations in the constructive type theory of Coq
• Logic programming approach to automata-based decision procedures
• Two-Way Automata in Coq

This page was built for software: MSO_Regex_Equivalence