A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One
A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One
复制标题
一维分支VASS可达性多项式时间算法
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Goeller S
中科院分区：
文献类型：
--
作者：
Goeller S
登录
查看更多内容
一元字母表上的连接文法：不可判定性和无界增长
影响因子：
0.5
作者：
Artur Jeż;A. Okhotin
通讯作者：
A. Okhotin
在单柜台进程的转换图上玩的奇偶游戏
影响因子：
0.5
作者：
O. Serre
通讯作者：
O. Serre
确定性单计数器自动机
DOI：
--
发表时间：
1973
期刊：
Journal of computer and system sciences (Print)
影响因子：
--
作者：
L. Valiant;M. Paterson
通讯作者：
M. Paterson
向量加法树自动机
DOI：
--
发表时间：
2004
期刊：
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
影响因子：
--
作者：
P. D. Groote;Bruno Guillaume;Sylvain Salvati
通讯作者：
Sylvain Salvati
揭秘矢量加法系统的可达性
DOI：
--
发表时间：
2015
期刊：
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Jérôme Leroux;S. Schmitz
通讯作者：
S. Schmitz