Graph structure and monadic second-order logic a language-theoretic approach - Courcelle, B.; Engelfriet, Joost; Safari eBooks (Cambridge, U.K. ; New York : Cambridge University Press, 2012)
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.
Description based on print version record.
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical -- Graphic methods; Electronic books