查尔斯·拉科夫 向量加法系统的覆盖和有界问题。 (英语) Zbl 0368.68054号 西奥。计算。科学。 6, 223-231 (1978). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于118文件 MSC公司: 65年第68季度 算法和问题复杂性分析 68瓦99 计算机科学中的算法 PDF格式BibTeX公司 XML格式引用 \textit{C.Rackoff},Theor(西奥)。计算。科学。6223--231(1978年;Zbl 0368.68054) 全文: 内政部 参考文献: [1] 博罗什,I。;Treybis,L.,线性丢番图方程正积分解的界,Proc。艾姆斯,51993-304(1976)·Zbl 0291.10014号 [2] Cardoza,E。;利普顿,R.J。;Meyer,A.R.,Petri网和交换半群的指数空间完备问题,第八届ACM年会。计算理论,50-54(1976)·Zbl 0374.20067号 [3] Hack,M.,向量加法系统的等式问题是不可判定的,Theor。计算。科学。,2, 77-96 (1976) ·Zbl 0357.68038号 [4] 卡普,R。;Miller,R.,并行程序模式,J.Compute。系统科学。,3, 147-195 (1969) ·Zbl 0198.32603号 [5] Lipton,R.,《可达性问题需要指数空间》(《技术报告》(1975),耶鲁大学计算机科学系:耶鲁大学纽黑文计算机科学系),(发表于理论。计算。科学.). [6] Mayr,E.,Petri网有限包含问题的复杂性。,(《技术报告181》(1977年),麻省理工学院计算机科学实验室:马萨诸塞州坎布里奇麻省理工大计算机科学实验室)·Zbl 0462.68020号 [7] Sacerdote,G.S。;Tenney,R.L.,向量加法系统可达性问题的可判定性,第九届ACM年会。论计算理论,61-76(1977) [8] Savitch,W.J.,《不确定性和确定性磁带复杂性之间的关系》,J.Compute。系统科学。,4 (1970) ·Zbl 0188.33502号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。