TY  - BOOK
AU  - Courcelle, Bruno
AU  - Engelfriet, Joost
TI  - Graph structure and monadic second order logic: A language theoretic approach
SN  - 9780521898331
CY  - New york
KW  - Logic, Symbolic and mathematical - Graphic methods
KW  - Engelfriet, Jost
ER  -