Book contents
- Frontmatter
- Contents
- Foreword
- 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
- 9 Relational structures
- Conclusion and open problems
- References
- Index of notation
- Index
6 - Algorithmic applications
Published online by Cambridge University Press: 05 July 2012
- Frontmatter
- Contents
- Foreword
- 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
- 9 Relational structures
- Conclusion and open problems
- References
- Index of notation
- Index
Summary
- Type
- Chapter
- Information
- Graph Structure and Monadic Second-Order LogicA Language-Theoretic Approach, pp. 427 - 504Publisher: Cambridge University PressPrint publication year: 2012