THE MONADIC 2ND-ORDER LOGIC OF GRAPHS .1. RECOGNIZABLE SETS OF FINITE GRAPHS

被引：845

作者：

COURCELLE, B

机构：

[1] Bordeaux I University, Laboratoire d'Informatique, Unité de Recherche Associée au CNRS no 726. 351, 33405 Talence, Cours de la Libération

来源：

INFORMATION AND COMPUTATION | 1990年 / 85卷 / 01期

关键词：

D O I：

10.1016/0890-5401(90)90043-H

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The notion of a recognizable set of finite graphs is introduced. Every set of finite graphs, that is definable in monadic second-order logic is recognizable, but not vice versa. The monadic second-order theory of a context-free set of graphs is decidable. © 1990.

引用

页码：12 / 75

页数：64

共 50 条

[41] UNDECIDABLE EXTENSIONS OF MONADIC 2ND-ORDER SUCCESSOR ARITHMETIC
SEESE, DG
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (01): : 63 - 71
[42] Matching attributed graphs: 2nd-order probabilities for pruning the search tree
Serratosa, F
Sanfeliu, A
PATTERN RECOGNITION AND IMAGE ANALYSIS, PT 2, PROCEEDINGS, 2005, 3523 : 131 - 138
[43] The 0-1 law fails for monadic existential second-order logic on undirected graphs
Le Bars, JM
INFORMATION PROCESSING LETTERS, 2001, 77 (01) : 43 - 48
[44] A CHARACTERIZATION OF CONTEXT-FREE NCE GRAPH LANGUAGES BY MONADIC 2ND-ORDER LOGIC ON TREES
ENGELFRIET, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 311 - 327
[45] REDUCTION OF 2ND-ORDER LOGIC TO MODAL LOGIC
THOMASON, SK
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (02): : 107 - 114
[46] The monadic second-order logic of graphs XV: On a conjecture by D. Seese
LaBRI, CNRS, Bordeaux 1 University, 351 cours de la Libération, F-33405 Talence, France
J. Appl. Logic, 2006, 1 (79-114):
[47] Monadic second-order logic and the domino problem on self-similar graphs
Bartholdi, Laurent
GROUPS GEOMETRY AND DYNAMICS, 2022, 16 (04) : 1423 - 1459
[48] Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false
Popova, S. N.
Zhukovskii, M. E.
ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (04) : 505 - 514
[49] Monadic second-order logic of graphs XIII: Graph drawings with edge crossings
Courcelle, B
THEORETICAL COMPUTER SCIENCE, 2000, 244 (1-2) : 63 - 94
[50] The 2nd-order conditional 3-coloring of claw-free graphs
Li, Xueliang
Zhou, Wenli
THEORETICAL COMPUTER SCIENCE, 2008, 396 (1-3) : 151 - 157

← 1 2 3 4 5 →