| ISBN |
0521898331 (hardback)
|
| ISBN13桁 |
9780521898331 (hardback)
|
| テキストの言語 |
英語
|
| 分類：NDC10版 |
410.8
|
| 個人著者標目 |
Courcelle, B.
|
| 本タイトル |
Graph structure and monadic second-order logic :
|
| タイトル関連情報 |
a language-theoretic approach /
|
| 著者名 |
Bruno Courcelle, Joost Engelfriet.
|
| 出版地・頒布地 |
Cambridge ;
|
| 出版者・頒布者名 |
Cambridge University Press,
|
| 出版年・頒布年 |
2012.
|
| 数量 |
xiv, 728 p. :
|
| 他の形態的事項 |
ill. ;
|
| 大きさ |
25 cm.
|
| 書誌注記 |
Includes bibliographical references (p. [691]-710) and index.
|
| 内容注記 |
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.
|
| 要約、抄録、注釈等 |
"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 author not only provides a thorough description of the theory, but also details 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"--
|
| 著者標目 |
Engelfriet, Joost.
|
| 統一タイトル(シリーズ副出標目) |
Encyclopedia of mathematics and its applications ;
|
| シリーズの巻次 |
v. 138.
|
| シリーズ名・巻次 |
Encyclopedia of mathematics and its applications ; 138 |
| 一般件名 |
Logic, Symbolic and mathematical -- Graphic methods.
MATHEMATICS / Logic. |
| 資料情報1 |
『Graph structure and monadic second-order logic :
a language-theoretic approach /』（Encyclopedia of mathematics and its applications ;
138） Bruno Courcelle, Joost Engelfriet. Cambridge University Press, 2012.
（所蔵館：中央
請求記号：F/410.8/E56/E1-138
資料コード：7102016810）
|
| URL |
https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1352002205 |
