Bruno Courcelle-Joost Engelfriet <br/><br/>
Graph Structure and Monadic Second-Order Logic  A Language-Theoretic Approach 

 -  Cambridge University Press  2012 
 - Encyclopedia of Mathematics and Its Applications .
<br/><br/><label>ISBN: </label>9780521898331 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Infinity<br/>Logic, Symbolic and mathematical--Graphic methods.<br/>MATHEMATICS