Automata for Monadic Second-Order Model-Checking [chapter]

Bruno Courcelle
2011 Lecture Notes in Computer Science  
References: B.C. and J. Engelfriet : Graph structure and monadic second-order logic, book to be published by Cambridge University Press (740 p.). B.C. : Tutorial in 3 parts presented in Bangalore in 2010.
doi:10.1007/978-3-642-24288-5_3 fatcat:yngx6xn555bhjchbvt27wyfgoe