标题 |
The Reachability Problem for Two-Dimensional Vector Addition Systems with States
具有状态的二维向量加法系统的可达性问题
相关领域
可达性
一元运算
有界函数
可达性问题
序列(生物学)
数学
离散数学
路径(计算)
组合数学
二进制数
钥匙(锁)
计算机科学
算术
遗传学
生物
数学分析
程序设计语言
计算机安全
|
网址 | |
DOI | |
其它 |
期刊:Journal of the ACM 作者:Michael Blondin; Matthias Englert; Alain Finkel; Stefan Göller; Christoph Haase; et al 出版日期:2021-08-12 |
求助人 | |
下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|