Graph Structure and Monadic Second-Order Logic

by Bruno Courcelle and Joost Engelfriet

Book Overview

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

• Format: Hardcover
• Language: English
• ISBN: 0521898331
• ISBN13: 9780521898331
• Release Date: July 2012
• Publisher: Cambridge University Press
• Length: 744 Pages
• Weight: 2.80 lbs.
• Dimensions: 1.6" x 6.0" x 9.2"