Graph structure and monadic secondorder logic : a languagetheoretic approach
 Author/Creator
 Courcelle, B.
 Language
 English.
 Imprint
 Cambridge, UK ; New York : Cambridge University Press, 2012.
 Physical description
 xiv, 728 p. : ill ; 24 cm.
 Series
 Encyclopedia of mathematics and its applications ; 138.
Access
Contributors
 Contributor
 Engelfriet, Joost.
Contents/Summary
 Bibliography
 Includes bibliographical references (p. [691]710) and index.
 Contents

 Foreword Maurice Nivat Introduction 1. Overview 2. Graph algebras and widths of graphs 3. Equational and recognizable sets in manysorted algebras 4. Equational and recognizable sets of graphs 5. Monadic secondorder logic 6. Algorithmic applications 7. Monadic secondorder transductions 8. Transductions of terms and words 9. Relational structures Conclusion and open problems References Index of notation Index.
 (source: Nielsen Book Data)
 Publisher's Summary
 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 secondorder logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The authors not only provide a thorough description of the theory, but also detail its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory.
(source: Nielsen Book Data)  Supplemental links
 Cover image
Subjects
Bibliographic information
 Publication date
 2012
 Responsibility
 Bruno Courcelle, Joost Engelfriet.
 Series
 Encyclopedia of mathematics and its applications ; 138
 ISBN
 9780521898331
 0521898331