Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
复制标题
2 级可折叠下推图是树自动的
DOI：
10.2168/lmcs-9(1:12)2013
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Alexander Kartzow
中科院分区：
文献类型：
--
作者：
Alexander Kartzow
登录
查看更多内容
DOI：
--
发表时间：
2009
期刊：
Conference on Algebraic Informatics
影响因子：
--
作者：
D. Kuske
通讯作者：
D. Kuske
可折叠下推自动机和递归方案
DOI：
10.1145/3091122
发表时间：
2008
期刊：
2008 23rd Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
M. Hague;A. Murawski;C. Ong;O. Serre
通讯作者：
O. Serre
嵌套下推树的 FO 模型检查
影响因子：
--
作者：
Alexander Kartzow
通讯作者：
Alexander Kartzow
关于 Caucal 层次结构中的图结构
DOI：
10.1016/j.tcs.2008.01.053
发表时间：
2008
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Achim Blumensath
通讯作者：
Achim Blumensath
线性交替图灵机、有界级联理论和一阶理论的决策问题
影响因子：
1.1
作者：
H. Volger
通讯作者：
H. Volger