Export Citations
1 Results for: Book/Issue: ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,833,026 records)|Limit your search to The ACM Full-Text Collection (773,090 records)
Showing 1 - 1of1 Results
Select All
- research-articleSeptember 2013
Verified decision procedures for MSO on words based on derivatives of regular expressions
ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programmingPages 3–12https://doi.org/10.1145/2500365.2500612Monadic 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 of MSO formulas can be reduced to the equivalence of ...
Also Published in:
ACM SIGPLAN Notices: Volume 48 Issue 9
