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 |