資料詳細

  • 1 件中、 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. --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般洋図書 F/410.8/E56/E1-138 7102016810 Digital BookShelf
2013/08/20 可能（館内閲覧） 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

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

ページの先頭へ