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
Additional material
Automata and languages:
MSOL:
More
Verification of linked structures using automata or MSOL:
MSOL:
Last year: