Item Details

Print View

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

Bruno Courcelle, Joost Engelfriet
Format
Book
Published
Cambridge, UK ; New York : Cambridge University Press, 2012.
Language
English
Series
Encyclopedia of Mathematics and Its Applications
ISBN
9780521898331 (hardback), 0521898331 (hardback)
Related Resources
Cover image
Contents
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. Monadic second-order transductions; 8. Transductions of terms and words J. Engelfriet; 9. Relational structures; 10. Conclusion and open problems; References; Index.
Description
xiv, 728 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Encyclopedia of mathematics and its applications ; 138
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01792cam a2200373 a 4500
    001 u5742762
    003 SIRSI
    005 20120817090158.0
    008 120308s2012 enka b 001 0 eng
    010
      
      
    a| 2012008159
    020
      
      
    a| 9780521898331 (hardback)
    020
      
      
    a| 0521898331 (hardback)
    035
      
      
    a| (OCoLC)779740328
    040
      
      
    a| DLC b| eng c| DLC d| YDX d| CDX d| UKMGB d| YDXCP d| COO
    042
      
      
    a| pcc
    050
    0
    0
    a| QA9 b| .C748 2012
    082
    0
    0
    a| 511.3 2| 23
    084
      
      
    a| MAT018000 2| bisacsh
    084
      
      
    a| MAT018000
    100
    1
      
    a| Courcelle, B.
    245
    1
    0
    a| Graph structure and monadic second-order logic : b| a language-theoretic approach / c| Bruno Courcelle, Joost Engelfriet.
    260
      
      
    a| Cambridge, UK ; a| New York : b| Cambridge University Press, c| 2012.
    300
      
      
    a| xiv, 728 p. : b| ill. ; c| 24 cm.
    490
    1
      
    a| Encyclopedia of mathematics and its applications ; v| 138
    504
      
      
    a| Includes bibliographical references and index.
    505
    8
      
    a| 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. Monadic second-order transductions; 8. Transductions of terms and words J. Engelfriet; 9. Relational structures; 10. Conclusion and open problems; References; Index.
    650
      
    0
    a| Logic, Symbolic and mathematical x| Graphic methods.
    700
    1
      
    a| Engelfriet, Joost.
    830
      
    0
    a| Encyclopedia of mathematics and its applications ; v| 138.
    856
    4
    2
    3| Cover image u| http://proxy01.its.virginia.edu/login?url=http://assets.cambridge.org/97805218/98331/cover/9780521898331.jpg
    994
      
      
    a| Z0 b| VA@
    596
      
      
    a| 8
    999
      
      
    a| QA9 .C748 2012 w| LC i| X030861954 l| STACKS m| MATH t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Math Stacks N/A Available