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

• 資料種別: 図書
• ISBN: 9780521898331 (hardback)
• タイトル: Graph structure and monadic second-order logic : a language-theoretic approach
• 著者・編者: Bruno Courcelle, Joost Engelfriet.
• シリーズタイトル: Encyclopedia of mathematics and its applications ; 138
• 著者標目: Courcelle, B.; Engelfriet, Joost.
• 出版事項: Cambridge : Cambridge University Press; New York : Cambridge University Press
• 出版年月日等: 2012.
• 出版年（W3CDTF）: 2012
• 数量: xiv, 728 p.
• 形態の詳細: ill.
• 大きさ: 25 cm.
• 出版地（国名コード）: GB
• 本文の言語コード: eng
• 件名標目: Logic, Symbolic and mathematical--Graphic methods.; MATHEMATICS / Logic.
• LCC: QA9
• DDC: 511.3
• NDLC: MA41
• 対象利用者: 一般
• 書誌注記: Includes bibliographical references (p. [691]-710) and index.
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-B39
• 関連情報: Cover image; http://assets.cambridge.org/97805218/98331/cover/9780521898331.jpg
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 024110427; http://id.ndl.go.jp/bib/024110427
• LC control number: 2012008159; https://lccn.loc.gov/2012008159
• 整理区分コード: 211

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