Verified decision procedures for MSO on words based on derivatives of regular expressions
Work
Year: 2013
Type: article
Abstract: Monadic second-order logic on finite words (MSO) is a decidable yet expressive logic into which many decision problems can be encoded. Since MSO formulas correspond to regular languages, equivalence o... more
Authors Dmitriy Traytel, Tobias Nipkow
Institution Technical University of Munich
Cites: 28
Cited by: 5
Related to: 10
FWCI: 0.973
Citation percentile (by year/subfield): 58.54
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: green