弗兰兹·巴德;塞萨尔·蒂内利 结合方程理论共享非坍塌自由构造器。 （英语） 兹比尔0962.03037 Kirchner，Hélène（编辑）等人，《组合系统的前沿》。2000年3月22日至24日，法国南希，第三届国际研讨会，FroCoS 2000。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1794, 260-274 (2000). 摘要：我们将我们的组合方法用于单词问题的决策过程的适用性扩展到共享非崩溃自由构造器的理论。这种扩展极大地拓宽了组合过程的范围，例如，在将模态公式的等价公理化的等式理论的方向上。有关整个系列，请参见[Zbl 0935.00044号]。 引用于1文件 MSC公司： 03D40号 可计算性和递归理论中的单词问题等 03B25号 理论和句子集的可决定性 关键词：组合法;单词问题;等式理论 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{C.Tinelli}，莱克特。注释计算。科学。1794260-274（2000年；Zbl 0962.03037）