J.-L.拉塞兹。;马希尔，M.J。;英国万豪酒店。 重新审视统一。 （英语） 兹比尔0645.68046 逻辑和函数编程基础。1986年，意大利特伦托，Lect。注释计算。科学。306, 67-113 (1988). 摘要：[有关整个系列，请参阅Zbl 0638.00037号.]在文献中，统一通常被视为一个简单而直接的问题，尽管它被认为是一个深刻而基本的概念。然而，当试图进行彻底的陈述时，人们就会意识到这件事相当微妙和危险。例如，大多数通用统一器的概念及其在重命名之前是唯一的属性可以有不同的解释。事实上，有几种基于不同数学概念的统一方法，它们并不等价。我们在这里提出了备选方案，并澄清了它们之间的关系。在此过程中，获得了与方程求解、最具体的泛化和约束求解概念相关的新结果。这导致了对统一的基本理论的全面介绍。 引用于62文件 MSC公司： 68问题65 抽象数据类型；代数规范 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：方程求解;统一基本理论 引文：Zbl 0638.00037号 PDF格式BibTeX公司 XML格式