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

Machine generated contents note: 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. Monad...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Courcelle, Bruno (VerfasserIn)
Weitere Verfasser:	Engelfriet, Joost (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge University Press 2012
Ausgabe:	1. publ.
Schriftenreihe:	Encyclopedia of mathematics and its applications 138
Schlagworte:	Logic, Symbolic and mathematical > Graphic methods > Graphentheorie > Endliche Modelltheorie
Online Zugang:	Cover Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!