克里斯·巴雷特;亨特，哈里·B·III;马达夫·马拉特。;拉维，S.S。;丹尼尔·罗森克兰茨。;理查德·斯特恩斯（Richard E.Stearns）。;塔库尔，马尤尔 “有限离散动力系统的前置存在问题”一文的勘误表。 （英语） Zbl 1138.68426号 西奥。计算。科学。 395，第1期，第132-133页（2008年）. 对作者论文【Theor.Comput.Sci.386，No.1-2，3-37（2007；Zbl 1137.68410号)]都指出了。 引用于2文件 MSC公司： 65年第68季度 算法和问题复杂性分析 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 37B15号机组 细胞自动机的动力学方面 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题80 细胞自动机（计算方面） 关键词：离散动力系统;细胞自动机;前身存在;数据流分析;软件和硬件验证;计算复杂性 引文：Zbl 1137.68410号 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人，Theor。计算。科学。395，编号1，132--133（2008；Zbl 1138.68426） 全文： 内政部 参考文献： [1] 亨特，H。；马里兰州马拉太。；拉德哈克利什南，V。；Stearns，R.，平面计数问题的复杂性，SIAM J.Compute。，27, 4, 1142-1167 (1998) ·Zbl 0911.68060号 [2] Tovey，C.，简化的NP-完全可满足性问题，离散应用。数学。，8, 1, 85-89 (1984) ·Zbl 0534.68028号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。