哈拉尔德·甘辛格；佛罗伦萨·杰克马尔；玛格斯·维纳斯 刚性可达性，刚性E-统一的非对称形式。 （英语） 兹比尔1319.68127 发现的国际期刊。计算。科学。 11，第1期，3-27（2000）. 摘要：我们证明了刚性可达性，即刚性E-统一的非对称形式，在单个约束的情况下已经是不可判定的。由此，我们推断出一种新的、相当有限的二阶统一的不可判定性。我们还证明了当对称性不存在时，问题的某些可判定子类在方程情况下是（mathcal P）-完备的，它们成为EXPTIME-完备的。应用自动机理论方法，证明了一元刚体可达性与基本规则同时存在是PSPACE完备的。此外，我们确定了EXPTIME的两个可判定非单子片段。 引用于2文件 MSC公司： 2012年第68季度 语法和重写系统 03B25号 理论和句子集的可决定性 05年3月 与逻辑问题相关的自动机和形式文法 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{H.Ganzinger}等人，国际期刊发现。计算。科学。11，第1号，第3--27号（2000年；Zbl 1319.68127） 全文： 内政部 参考文献： [1] 内政部：10.1145/322234.32243·Zbl 0473.68043号 ·数字对象标识代码：10.1145/322234.32243 [2] 内政部：10.1016/0304-3975（94）90101-5·兹比尔0805.68083 ·doi:10.1016/0304-3975（94）90101-5 [3] 内政部：10.1016/0890-5401（90）90015-A·Zbl 0705.68067号 ·doi:10.1016/0890-5401（90）90015-A [4] DOI:10.1016/S0022-0000（70）80041-1·Zbl 0212.02901号 ·doi:10.1016/S0022-0000（70）80041-1 [5] 内政部：10.1016/S0304-3975（06）80003-4·Zbl 0731.03005号 ·文件编号：10.1016/S0304-3975（06）80003-4 [6] 内政部：10.1016/0304-3975（81）90040-2·Zbl 0457.03006号 ·doi:10.1016/0304-3975（81）90040-2 [7] Makanin G.S.，俄文）103（2）第147页–（1977年） [8] DOI:10.1016/S0022-0000（70）80006-X·Zbl 0188.33502号 ·doi:10.1016/S0022-0000（70）80006-X [9] 内政部：10.1016/0020-0190（94）00130-8·Zbl 0835.68008号 ·doi:10.1016/0020-0190（94）00130-8 [10] DOI:10.1007/BF01691346·doi:10.1007/BF01691346 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。