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 条
12345