Franz巴德；塞萨尔·蒂内利 在方程式理论共享构造器的联合中决定单词问题。 （英语） Zbl 0976.03051号 Narendran，Paliath（编辑）等人，《重写技术与应用》。第十届国际会议，RTA-99。意大利特伦托，1999年7月2日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1631, 175-189 (1999). 小结：本文的主要贡献是提出了一种新的方法，用于将方程理论中的单词问题的决策过程结合起来，共享“构造器”。本文采用的构造器的概念有一个很好的代数定义，比以前关于组合问题的工作中引入的相关概念更通用。关于整个系列，请参见[Zbl 0916.00018号]. 引用于4文件 MSC公司： 03D40号 可计算性和递归理论中的单词问题等 2012年第68季度 语法和重写系统 03B25号 理论和句子集的可决定性 关键词：组合决策程序；单词问题；等式理论；施工人员 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{C.Tinelli}，莱克特。注释计算。科学。1631、175--189（1999；Zbl 0976.03051）