Monadic second-order logic on finite sequences

DOI10.1145/3009837.3009844zbMath1387.03006OpenAlexW2554756459WikidataQ130853232 ScholiaQ130853232MaRDI QIDQ5370858

Loris D'Antoni, Margus Veanes

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3009837.3009844

zbMATH Keywords

MSO logicsymbolic automataSWS1S

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Natural projection as partial model checking ⋮ Forward Bisimulations for Nondeterministic Symbolic Finite Automata

This page was built for publication: Monadic second-order logic on finite sequences