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

>> Google Books

所蔵情報QRコード

Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joost Engelfriet

資料種別:

図書

出版情報:

New York ; Cambridge : Cambridge University Press, 2012

形態:

xiv, 728 p. ; 24 cm

シリーズ名:

Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 138 <BA00064663>

著者名:

ISBN:

9780521898331 [0521898331] (: hardback)

書誌ID:

BB09450754

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references (p. [691]-710) and indexes

主題:

MATHEMATICS / Logic. bisacsh

言語:

英語

目次情報:

Foreword / Maurice Nivat

Introduction

Overview / 1：

Graph algebras and widths of graphs / 2：

Equational and recognizable sets in many-sorted algebras / 3：

Equational and recognizable sets of graphs / 4：

Monadic second-order logic / 5：

Algorithmic applications / 6：

Monadic second-order transductions / 7：

Transductions of terms and words J. Engelfriet / 8：

Relational structures / 9：

Conclusion and open problems / 10：

References

Index

Foreword / Maurice Nivat

Introduction

Overview / 1：

Graph algebras and widths of graphs / 2：

Equational and recognizable sets in many-sorted algebras / 3：

Equational and recognizable sets of graphs / 4：

続きを見る

ブックレビュー

類似資料:

1 図書 Monoidal topology : a categorical approach to order, metric, and topology (: hardback) Hofmann, Dirk, 1970-, Seal, Gavin J., Tholen, W. (Walter), 1947- Cambridge University Press	7 図書 Artificial intelligence : a theoretical approach (: pbk) Banerji, Ranan B., 1928- North Holland
2 電子ブック Simple Program Schemes and Formal Languages Engelfriet SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Simple Program Schemes and Formal Languages Engelfriet, J., SpringerLink (Online service)
3 図書 The monadic second order theory of all countable ordinals (: Germany ; : U.S.) Büchi, J. Richard, 1924-1984, Siefkes, Dirk Springer	9 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2001, Boulton, Richard J., Jackson, Paul B. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 Büchi's monadic second order successor arithmetic Siefkes, Dirk Springer-Verlag	10 図書 Foundations without foundationalism : a case for second-order logic (: pbk) Shapiro, Stewart, 1951- Clarendon Press, Oxford University Press
5 電子ブック Büchi’s Monadic Second Order Successor Arithmetic Siefkes SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック A Graph-Theoretic Approach to Enterprise Network Dynamics Cherniavsky, John C., Bunke, H., Bunke, Horst, Constable, Robert Springer eBooks Computer Science, Birkh?user Boston
6 図書 Multivariable control : a graph-theoretic approach Reinschke, K. J. (Kurt Johannes), 1940- Springer-Verlag	12 図書 Chemical reaction networks : a graph-theoretical approach Temkin, Oleg N., Zeigarnik, Andrew V., Bonchev, Danail CRC Press