约尔迪·利维；曼弗雷德·施密特·沙乌；马图·维拉雷特 一元二阶统一的复杂性。 （英语） 兹比尔1166.03004 SIAM J.计算。 38，第3期，1113-1140（2008）. 摘要：一元二阶统一是指方程中出现的所有函数常数都是一元的二阶统一。在这里，我们证明了决定一组一元方程是否具有一致性的问题是NP-完全的，其中我们使用了使用单点上下文无关文法压缩解的技术。我们证明了一元二阶匹配也是NP-完全的。 引用于三文件 MSC公司： 03B35型 证明和逻辑操作的机械化 03B40型 组合逻辑与lambda演算 2017年第68季度 问题的计算难度（下界、完备性、近似难度等） 2012年第68季度 语法和重写系统 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：二阶统一；定理证明；λ演算；上下文无关语法；重写系统 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}等人，SIAM J.Compute。38，编号3，1113--1140（2008；Zbl 1166.03004） 全文： 内政部