Graph structure and monadic second-order logic : a language-theoretic approach [E-Book] / Bruno Courcelle, Joost Engelfriet.
Courcelle, B., (author)
Engelfriet, Joost, (author)
Cambridge : Cambridge University Press, 2012
1 online resource (xiv, 728 pages)
Encyclopedia of mathematics and its applications ; volume 138
Full Text
Table of Contents:
  • Machine generated contents note: Foreword Maurice Nivat; Introduction; 1. Overview; 2. Graph algebras and widths of graphs; 3. Equational and recognizable sets in many-sorted algebras; 4. Equational and recognizable sets of graphs; 5. Monadic second-order logic; 6. Algorithmic applications; 7. Monadic second-order transductions; 8. Transductions of terms and words J. Engelfriet; 9. Relational structures; 10. Conclusion and open problems; References; Index.