Graph structure and monadic second-order logic : a language-theoretic approach
"The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In...
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joost Engelfriet |
Publié : |
Cambridge, New York :
Cambridge University Press
, cop. 2012 |
Description matérielle : | 1 vol. (XIV-728 p.) |
Collection : | Encyclopedia of mathematics and its applications ; 138 |
Sujets : | |
Documents associés : | Autre format:
Graph structure and monadic second-order logic |
- 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
- Conclusion and open problems
- References
- Index