贾马尔·侯赛因·普尔;克莱门斯·G·拉布。;乔治·雷根斯堡 张量环中正规形式的算法算子代数。 (英语) Zbl 06789139号 J.塞姆。计算。 85, 247-274 (2018).MSC公司:47倍 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Hossein Poor}等人,J.Symb。计算。85247-274(2018年;兹bl 06789139) 全文: 内政部
Katsialyna Krupchyk;朱卡托梅拉 超定抛物线偏微分方程的完成。 (英语) Zbl 1158.35393号 J.塞姆。计算。 43,第3期,153-167(2008).MSC公司:35纳米10 35千50 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Krupchyk}和\textit{J.Tuomela},J.Symb。计算。43,第3号,153--167(2008;Zbl 1158.35393) 全文: 内政部
卡雷尔·斯托克曼 分类关键路径完成算法。 (英语) Zbl 0933.18002号 J.塞姆。计算。 27,第5期,435-477(1999). 审核人:C.Calude(奥克兰) MSC公司:18A99型 68瓦30 2012年第68季度 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{K.Stokkermans},J.Symb。计算。27,第5号,435--477(1999;Zbl 0933.18002) 全文: 内政部 链接
安德烈·萨特勒·克莱恩 消除复合叠加可能导致流产。 (英语) Zbl 0731.68062号 J.塞姆。计算。 11,第3期,205-211(1991).MSC公司:2012年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Sattler-Klein},J.Symb。计算。11,第3号,205--211(1991;Zbl 0731.68062) 全文: 内政部
劳伦·弗里堡 归纳完成程序的严格限制。 (英语) Zbl 0682.68029号 J.塞姆。计算。 第8期,第3期,第253-276页(1989年).MSC公司:68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg},J.Symb。计算。8,第3号,253--276(1989;Zbl 0682.68029) 全文: 内政部
潘、禄劝 基于主理想域上多项式理想的D-基。 (英语) Zbl 0668.68034号 J.塞姆。计算。 7,No.1,55-69(1989). 审核人:D.Yu。格里戈列夫 MSC公司:68瓦30 13号B25 13层07 10层13号 2015年1月13日 PDF格式BibTeX公司 XML格式引用 \textit{L.Pan},J.Symb。计算。7,编号1,55--69(1989;Zbl 0668.68034) 全文: 内政部
Leo巴赫迈尔;纳鸿·德肖维茨 完成的关键对标准。 (英语) Zbl 0651.68030号 J.塞姆。计算。 6,第1期,第1-18页(1988年).MSC公司:68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}和\textit{N.Dershovitz},J.Symb。计算。6,编号1,1-18(1988年;Zbl 0651.68030) 全文: 内政部
迪帕克·卡普尔;大卫·穆瑟。;巴利亚特·纳伦德兰 在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年;兹bl 0645.68094) 全文: 内政部