约阿希姆·尼伦;苏菲·蒂森;拉尔夫·特里宁 关于重写约束和上下文统一。 (英语) Zbl 1014.68076号 Inf.流程。莱特。 74,编号1-2,35-40(2000).MSC公司:2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人,《信息处理》。莱特。74,编号1--2,35-40(2000;Zbl 1014.68076) 全文: 内政部
拉尔夫·特里宁 一种新的一阶理论不可判定性证明方法。 (英语) Zbl 0769.03026号 J.塞姆。计算。 14,第5期,437-457(1992).MSC公司:03天35分 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Treinen},J.Symb。计算。14,第5号,437--457(1992;Zbl 0769.03026) 全文: 内政部