View in EDS PDF Full Text

Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach

Saved in:
Bibliographic Details
Title: Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach
Description: 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 this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The authors not only provide a thorough description of the theory, but also detail its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory.
Authors: Bruno Courcelle, Joost Engelfriet
Resource Type: eBook.
Subjects: Logic, Symbolic and mathematical--Graphic methods
Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 511703
RelevancyScore: 1044
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1044.26904296875
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$511703$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$511703$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach
– Name: Abstract
  Label: Description
  Group: Ab
  Data: 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 this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The authors not only provide a thorough description of the theory, but also detail its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Bruno+Courcelle%22">Bruno Courcelle</searchLink><br /><searchLink fieldCode="AR" term="%22Joost+Engelfriet%22">Joost Engelfriet</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Logic%2C+Symbolic+and+mathematical--Graphic+methods%22">Logic, Symbolic and mathematical--Graphic methods</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Infinity%22">MATHEMATICS / Infinity</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Logic%22">MATHEMATICS / Logic</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=511703
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 511.3
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Logic, Symbolic and mathematical--Graphic methods
        Type: general
    Titles:
      – TitleFull: Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Bruno Courcelle
      – PersonEntity:
          Name:
            NameFull: Joost Engelfriet
      – PersonEntity:
          Name:
            NameFull: Bruno Courcelle
      – PersonEntity:
          Name:
            NameFull: Joost Engelfriet
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2012
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9780521898331
            – Type: isbn-electronic
              Value: 9781139649377
          Numbering:
            – Type: volume
              Value: 00138
          Titles:
            – TitleFull: Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach
              Type: main
ResultId 1