迪帕克·卡普尔;大卫·穆瑟。;巴利亚特·纳伦德兰 在Knuth-Bendix完井程序中只需考虑素数叠加。 (英语) Zbl 0651.68029号 J.塞姆。计算。 6,第1期,第19-36页(1988年)。MSC公司:68问题65 68瓦30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,J.Symb。计算。6,编号1,19-36(1988;Zbl 0651.68029) 全文: 内政部
布赫伯格,布鲁诺 关键路径/完成程序的历史和基本特征。 (英语) Zbl 0645.68094号 J.塞姆。计算。 3, 3-38 (1987)。MSC公司:第68页第15页 68瓦30 65年第68季度 08A50号 01-02 68-03 PDF格式BibTeX公司 XML格式引用 \textit{B.Buchberger},J.Symb。计算。3、3--38(1987年;Zbl 0645.68094) 全文: 内政部
卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛 使用测试集进行归纳证明。 (英语) Zbl 0642.68034号 自动扣除,程序。第八届国际会议,牛津/英语。1986年,Lect。注释计算。科学。230, 99-117 (1986).MSC公司:68问题65 第68页第15页 08B05年 PDF格式BibTeX公司 XML格式