Graph Structure and Monadic Second-Order Logic

A Language-Theoretic Approach

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Logic
Cover of the book Graph Structure and Monadic Second-Order Logic by Bruno Courcelle, Joost Engelfriet, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Bruno Courcelle, Joost Engelfriet ISBN: 9781139637862
Publisher: Cambridge University Press Publication: June 14, 2012
Imprint: Cambridge University Press Language: English
Author: Bruno Courcelle, Joost Engelfriet
ISBN: 9781139637862
Publisher: Cambridge University Press
Publication: June 14, 2012
Imprint: Cambridge University Press
Language: English

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 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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 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.

More books from Cambridge University Press

Cover of the book The Economic History of Latin America since Independence by Bruno Courcelle, Joost Engelfriet
Cover of the book The Cambridge Handbook of Consumer Psychology by Bruno Courcelle, Joost Engelfriet
Cover of the book The Diagnosis and Management of Agitation by Bruno Courcelle, Joost Engelfriet
Cover of the book A Concise History of Australia by Bruno Courcelle, Joost Engelfriet
Cover of the book The Legendary Biographies of Tamerlane by Bruno Courcelle, Joost Engelfriet
Cover of the book The Cambridge Handbook of the Psychology of Prejudice by Bruno Courcelle, Joost Engelfriet
Cover of the book Mantle Convection for Geologists by Bruno Courcelle, Joost Engelfriet
Cover of the book Hermetica II by Bruno Courcelle, Joost Engelfriet
Cover of the book Kant: The Metaphysics of Morals by Bruno Courcelle, Joost Engelfriet
Cover of the book Social Science Methodology by Bruno Courcelle, Joost Engelfriet
Cover of the book The French Enlightenment and the Emergence of Modern Cynicism by Bruno Courcelle, Joost Engelfriet
Cover of the book The Financial System, Financial Regulation and Central Bank Policy by Bruno Courcelle, Joost Engelfriet
Cover of the book An Elementary Introduction to Mathematical Finance by Bruno Courcelle, Joost Engelfriet
Cover of the book Ibsen, Scandinavia and the Making of a World Drama by Bruno Courcelle, Joost Engelfriet
Cover of the book The Singlish Controversy by Bruno Courcelle, Joost Engelfriet
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy