Graph Structure and Monadic Second-Order Logic: A Language-Theoretic ApproachThe 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 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