艺术,T。;J·吉斯尔。 使用依赖对终止术语重写。 (英语) Zbl 0938.68051号 西奥。计算。科学。 236,编号1-2,133-178(2000).理学硕士:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Arts}和\textit{J.Giesl},Theor。计算。科学。236,编号1--2,133--178(2000;Zbl 0938.68051) 全文: 内政部
伊莎贝·格尼迪格;克洛德·基什内尔;赫莱内·基什内尔 有序代数中的等式完备。 (英语) Zbl 0698.68028号 西奥。计算。科学。 72,第2-3号,169-202(1990).理学硕士:68问题65 03年3月 08B05号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.Gneedig}等人,Theor。计算。科学。72,编号2--3,169--202(1990;Zbl 0698.68028) 全文: 内政部