This is an old revision of the document!
Logic and Automata: Deciding MSOL over Strings and Trees
Weak Monadic Logic of One Successor
Expressing finite automata in MSOL over strings
Expressing regular expressions in MSOL over strings
Additional material
Automata and languages:
MSOL:
More
Verification of linked structures using automata or MSOL:
MSOL:
Last year: