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 author not only provides a thorough description
of the theory, but also details 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
Cambridge University Press (Virtual Publishing)
|Country of origin:
||Encyclopedia of Mathematics and Its Applications, 138
• Joost Engelfriet
||Electronic book text
Science & Mathematics >
Mathematical foundations >
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!