Graph structure and monadic second-order logic :
Courcelle, B.
Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joost Engelfriet. - Cambridge ; New York : Cambridge University Press, 2012. - xiv, 728 p. : ill. ; - Encyclopedia of mathematics and its applications ; 138 .
9780521898331 (hardback)
Logic, Symbolic and mathematical--Graphic methods.
MATHEMATICS / Logic.
510.6 / COU
Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joost Engelfriet. - Cambridge ; New York : Cambridge University Press, 2012. - xiv, 728 p. : ill. ; - Encyclopedia of mathematics and its applications ; 138 .
9780521898331 (hardback)
Logic, Symbolic and mathematical--Graphic methods.
MATHEMATICS / Logic.
510.6 / COU