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

• Material Type: 図書
• ISBN: 9780521898331 (hardback)
• Title: Graph structure and monadic second-order logic : a language-theoretic approach
• Author/Editor: Bruno Courcelle, Joost Engelfriet.
• Series Title: Encyclopedia of mathematics and its applications ; 138
• Author Heading: Courcelle, B.; Engelfriet, Joost.
• Publication, Distribution, etc.: Cambridge : Cambridge University Press; New York : Cambridge University Press
• Publication Date: 2012.
• Publication Date (W3CDTF): 2012
• Extent: xiv, 728 p.
• Other physical details: ill.
• Size: 25 cm.
• Place of Publication (Country Code): GB
• Text Language Code: eng
• Subject Heading: Logic, Symbolic and mathematical--Graphic methods.; MATHEMATICS / Logic.
• LCC: QA9
• DDC: 511.3
• NDLC: MA41
• Target Audience: 一般
• Note (Bibliography): Includes bibliographical references (p. [691]-710) and index.
• Holding library: 国立国会図書館
• Call No.: MA41-B39
• Related Material: Cover image; http://assets.cambridge.org/97805218/98331/cover/9780521898331.jpg
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 024110427; http://id.ndl.go.jp/bib/024110427
• LC Control Number: 2012008159; https://lccn.loc.gov/2012008159
• Bibliographic Record Category (NDL): 211

• Contents: Machine generated contents note: Foreword Maurice Nivat; Introduction; 1. Overview; 2. Graph algebras and widths of graphs; 3. Equational and recogniz...
• Summary, etc.: "The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be const...