TY  - BOOK
AU  - Courcelle, burno
AU  - Engelfriet, Joost 
TI  - Graph structure and monadic second-order logic: a language theoretic approach
SN  - 9780521898331
U1  - 519.717 
PY  - 2012///
CY  - Cambridge
PB  - CUP
KW  - LOGIC, SYMBOLIC AND MATHEMATICAL-GRAPHIC METHODS
KW  - GRAPH THEORY
ER  -