Graph structure and monadic second-order logic [electronic resource] : a language-theoretic approach / Bruno Courcelle, Joost Engelfriet.

By: Contributor(s): Series: Encyclopedia of mathematics and its applications ; v. 138.2012Description: 1 online resource (1 v.) : illSubject(s): Genre/Form: Additional physical formats: Print version:: Graph structure and monadic second-order logic.Online resources:
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.
Item type: eBooks
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Description based on print version record.

Includes bibliographical references and index.

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.

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu