A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Automata for Monadic Second-Order Model-Checking
[chapter]
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