北布鲁诺。;J.海因茨。;G.马特拉。;Wachenchauzer,R。 计算机代数中的函数编程概念和直线程序。 (英语) Zbl 1005.68187号 数学。计算。模拟。 60,第6期,423-473(2002).MSC公司:68瓦30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Bruno}等人,数学。计算。模拟。60,第6号,423--473(2002;Zbl 1005.68187) 全文: 内政部
乔斯·海因茨;玛丽·弗朗索瓦斯·罗伊;巴勃罗·索勒诺 关于塔斯基-赛登堡原理的复杂性。(塔尔斯基-塞登堡原则综合报告) (法语) Zbl 0767.03017号 牛市。社会数学。法语。 118,No.1,101-126(1990).MSC公司:03C10号机组 14国道25号 65年第68季度 03C60型 12升12 PDF格式BibTeX公司 XML格式引用 \textit{J.Heintz}等人,公牛。社会数学。Fr.118,No.1,101--126(1990;Zbl 0767.03017) 全文: 内政部 Numdam编号 欧洲DML
詹姆斯·H·达文波特。;乔斯·海因茨 实量词消除是双指数的。 (英语) Zbl 0663.03015号 J.塞姆。计算。 5,编号1-2,29-35(1988). 审核人:李翔 MSC公司:03C10号机组 65年第68季度 12升05 68瓦30 12D99型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}和textit{J.Heintz},J.Symb。计算。5,编号1--2,29-35(1988;Zbl 0663.03015) 全文: 内政部