skip to content
Graph structure and monadic second-order logic : a language-theoretic approach Preview this item
ClosePreview this item

Graph structure and monadic second-order logic : a language-theoretic approach

Author: B Courcelle; Joost Engelfriet
Publisher: Cambridge ; New York : Cambridge University Press, 2012.
Series: Encyclopedia of mathematics and its applications, v. 138.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
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 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  Read more...
You are not connected to the University of Washington Libraries network. Access to online content and services may require you to authenticate with your library. OffCampus Access (log in)
Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... Getting this item's location and availability...

WorldCat

Find it in libraries globally
Worldwide libraries own this item

Details

Document Type: Book
All Authors / Contributors: B Courcelle; Joost Engelfriet
ISBN: 9780521898331 0521898331
OCLC Number: 779740328
Description: xiv, 728 pages : illustrations ; 25 cm.
Contents: Foreword Maurice Nivat; Introduction; 1. Overview; 2. Graph algebras and widths of graphs; 3. Equational and recognizable sets in many-sorted algebras; 4. Equational and recognizable sets of graphs; 5. Monadic second-order logic; 6. Algorithmic applications; 7. Monadic second-order transductions; 8. Transductions of terms and words J. Engelfriet; 9. Relational structures; 10. Conclusion and open problems.
Series Title: Encyclopedia of mathematics and its applications, v. 138.
Responsibility: Bruno Courcelle, Joost Engelfriet.

Abstract:

Unifies and synthesizes research over the last 25 years. The definitive reference for graduate students and researchers.  Read more...
Retrieving notes about this item Retrieving notes about this item

Reviews

Editorial reviews

Publisher Synopsis

'In its huge breadth and depth the authors manage to provide a comprehensive study of monadic second-order logic on graphs covering almost all aspects of the theory that can be presented from a Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.