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
期刊:
Log. Methods Comput. Sci.
影响因子:
--
通讯作者:
Alexander Kartzow
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 模型检查
DOI: 10.1007/978-3-642-03816-7_39
发表时间: 2009
影响因子: --
作者:
Alexander Kartzow
通讯作者: Alexander Kartzow
关于 Caucal 层次结构中的图结构
DOI: 10.1016/j.tcs.2008.01.053
发表时间: 2008
期刊: Theor. Comput. Sci.
影响因子: --
作者:
Achim Blumensath
通讯作者: Achim Blumensath
DOI: --
发表时间: 1983
影响因子: 1.1
作者:
H. Volger
通讯作者: H. Volger