斯蒂芬·贝兰托尼;马丁·霍夫曼 一种新的“可行”算法。 (英语) Zbl 1006.03035号 J.塞姆。日志。 67,第1期,104-116(2002). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:30楼03号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bellantoni}和\textit{M.Hofmann},J.Symb。日志。67,编号1,104--116(2002;Zbl 1006.03035) 全文: 内政部
斯蒂芬·贝兰托尼。;卡尔·海因茨·奈格尔;赫尔穆特·施维赫滕贝格 高级类型递归、分支和多项式时间。 (英语) Zbl 0959.03027号 Ann.纯粹应用。逻辑 104,编号1-3,17-30(2000).MSC公司:03D65年 03B40型 2015年3月1日 03D20日 2015年第68季度 2012年第68季度 68甲15 03财年03 2010年1月3日 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Bellantoni}等人,Ann.Pure Appl。逻辑104,编号1--3,17-30(2000;Zbl 0959.03027) 全文: 内政部