The modular decomposition of countable graphs:: Constructions in monadic second-order logic

被引：0

作者：

Courcelle, B ^{[1
]}

Delhommé, C

机构：

[1] Univ Bordeaux 1, CNRS, LaBRI, F-33405 Talence, France

[2] Univ La Reunion, ERMIT, St Denis Messageries, Reunion, France

来源：

COMPUTER SCIENCE LOGIC, PROCEEDINGS | 2005年 / 3634卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We show that the modular decomposition of a countable graph can be defined from this graph, given with an enumeration of its set of vertices, by formulas of Monadic Second-Order logic. A second main result is the definition of a representation of modular decompositions by a low degree relational structures, also constructible by Monadic Second-Order formulas.

引用

页码：325 / +

页数：2

共 50 条

[1] The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
Courcelle, Bruno
Delhomme, Christian
THEORETICAL COMPUTER SCIENCE, 2008, 394 (1-2) : 1 - 38
[2] Circle graphs and monadic second-order logic
LaBRI, Université Bordeaux 1, CNRS, 351 Cours de la libération, 33405 Talence Cedex, France
Journal of Applied Logic, 2008, 6 (03) : 416 - 442
[3] A hierarchical approach to monadic second-order logic over graphs
Schiering, I
COMPUTER SCIENCE LOGIC, 1998, 1414 : 424 - 440
[4] THE MONADIC SECOND-ORDER LOGIC OF GRAPHS .8. ORIENTATIONS
COURCELLE, B
ANNALS OF PURE AND APPLIED LOGIC, 1995, 72 (02) : 103 - 143
[5] Regular subgraphs in graphs and rooted graphs and definability in monadic second-order logic
Stewart, IA
MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (01) : 1 - 21
[6] The monadic second-order logic of graphs XII: planar graphs and planar maps
Courcelle, B
THEORETICAL COMPUTER SCIENCE, 2000, 237 (1-2) : 1 - 32
[7] The monadic second-order logic of graphs XI: Hierarchical decompositions of connected graphs
Courcelle, B
THEORETICAL COMPUTER SCIENCE, 1999, 224 (1-2) : 35 - 58
[8] Monadic Second-Order Logic with Arbitrary Monadic Predicates
Fijalkow, Nathanael
Paperman, Charles
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 279 - 290
[9] Monadic Second-Order Logic with Arbitrary Monadic Predicates
Fijalkow, Nathanael
Paperman, Charles
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017, 18 (03)
[10] Quantitative Monadic Second-Order Logic
Kreutzer, Stephan
Riveros, Cristian
2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 113 - 122

← 1 2 3 4 5 →