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

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Courcelle, B.
Other Authors: Engelfriet, Joost
Format: Electronic eBook
Language:Inglés
Published: Cambridge, UK ; New York : Cambridge University Press, 2012.
Series:Encyclopedia of mathematics and its applications ; 138.
Subjects:
Logic, Symbolic and mathematical > Graphic methods.
Logique symbolique et mathématique > Méthodes graphiques.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Online Access:Texto completo
Table of Contents:
  • Overview
  • Graph algebras and widths of graphs
  • Equational and recognizable sets in many-sorted algebras
  • Equational and recognizable sets of graphs
  • Monadic second-order logic
  • Algorithmic applications
  • Monadic second-order transductions
  • Transductions of terms and words
  • Relational structures.

Similar Items