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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Courcelle, B.
Otros Autores: Engelfriet, Joost
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, UK ; New York : Cambridge University Press, 2012.
Colección:Encyclopedia of mathematics and its applications ; 138.
Temas:
Logic, Symbolic and mathematical > Graphic methods.
Logique symbolique et mathématique > Méthodes graphiques.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares