A Unified Approach to Boundedness Properties in MSO
A Unified Approach to Boundedness Properties in MSO
复制标题
MSO 有界性的统一方法
DOI：
10.4230/lipics.csl.2015.441
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
C. Löding
中科院分区：
文献类型：
--
作者：
L. Kaiser;M. Lang;S. Lessenich;C. Löding
登录
查看更多内容
DOI：
10.1007/978-3-662-44522-8_33
发表时间：
2014
期刊：
影响因子：
--
作者：
Martin Lang;Christof Löding;Amaldev Manuel
通讯作者：
Amaldev Manuel
具有无界量词的弱 MSO
影响因子：
0.5
作者：
Mikolaj Bojanczyk
通讯作者：
Mikolaj Bojanczyk
MSO U 的拓扑复杂性及相关自动机模型
影响因子：
0.8
作者：
S. Hummel;Michal Skrzypczak
通讯作者：
Michal Skrzypczak
有限树上的正则成本函数
DOI：
--
发表时间：
2010
期刊：
2010 25th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Thomas Colcombet;Christof Löding
通讯作者：
Christof Löding
论成本逻辑对无限词语的表达力
DOI：
--
发表时间：
2012
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
Denis Kuperberg;M. V. Boom
通讯作者：
M. V. Boom