Practical algorithms for MSO model-checking on tree-decomposable graphs
Practical algorithms for MSO model-checking on tree-decomposable graphs
复制标题
树可分解图 MSO 模型检查的实用算法
DOI：
10.1016/j.cosrev.2014.08.001
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Somnath Sikdar
中科院分区：
文献类型：
--
作者：
Alexander Langer;Felix Reidl;Peter Rossmanith;Somnath Sikdar
登录
查看更多内容
影响因子：
2.1
作者：
Linda S. Moonen;F. Spieksma
通讯作者：
F. Spieksma
DOI：
10.1007/10692760_1
发表时间：
1998-06
期刊：
--
影响因子：
--
作者：
B. Courcelle;J. Makowsky;Udi Rotics
通讯作者：
B. Courcelle;J. Makowsky;Udi Rotics
影响因子：
1.1
作者：
K. Takamizawa;Takao Nishizeki;N. Saito
通讯作者：
N. Saito
有限有色树上的一元二阶逻辑求值问题：数据库理论方法
影响因子：
0.8
作者：
Eugénie Foustoucos;Labrini Kalantzi
通讯作者：
Labrini Kalantzi
影响因子：
--
作者：
BERN, MW;LAWLER, EL;WONG, AL
通讯作者：
WONG, AL