000 00679nam a2200205Ia 4500
008 140908s9999 xx 000 0 und d
020 _a9780521898331
040 _aNISER LIBRARY
041 _aEnglish
082 _a519.717
_bCOU-G
100 _aCourcelle, burno
245 _aGraph structure and monadic second-order logic: a language theoretic approach
_cBruno Courcelle and Joost Engelfriet
260 _aCambridge
_bCUP
_c2012
300 _axiv, 728p. hb.
440 _aEncyclopedia of mathematics and its applications 138
650 _aLOGIC, SYMBOLIC AND MATHEMATICAL-GRAPHIC METHODS
650 _aGRAPH THEORY
700 _aEngelfriet, Joost
_4Auth.
942 _cBK
999 _c1802
_d1802