毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 标称变窄。 （英语） Zbl 1387.68142号 Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。LIPIcs–莱布尼茨国际信息学论文集52，第11条，第17页（2016）。 摘要：名义统一是一阶统一的推广，它考虑了字母等效性。在本文中，我们在方程理论的背景下研究名词统一。我们引入了名词性收缩，并设计了一个通用的名词性E-统一过程，该过程对于一类广泛的方程理论来说是合理和完整的。我们给出了应用示例。有关整个系列，请参见[Zbl 1351.68020号]. 引用于9文件 MSC公司： 第68季度第42季度 语法和重写系统 03C05号机组 模型理论中的方程类、泛代数 68纳米30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：名义重写;名义统一;匹配;变窄;等式理论 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，LIPIcs——莱布尼茨国际程序。通知。52，第11条，第17页（2016年；Zbl 1387.68142） 全文： 内政部