000 00679pam a2200181a 44500
008 160408b2012 xxu||||| |||| 00| 0 eng d
020 _a9780521898331
040 _aP K Kelkar Library, IIT Kanpur
082 _a511.3
_bC833g
100 _aCourcelle, Bruno
245 0 _aGraph structure and monadic second-order logic
_ba language-theoretic approach
_cBruno Courcelle and Joost Engelfriet
260 _aCambridge
_bCambridge University Press
_c2012
300 _axiv, 728p
440 _aEncyclopedia Of Mathematics And Its Applications
_vNo.138
650 _aLogic, Symbolic and mathematical -- Graphic methods
700 _aEngelfriet, Joost
997 _aA176114 C
999 _c372553
_d372553