安德烈亚斯·布拉斯;纳鸿·德肖维茨;尤里·古里维奇 两种算法何时相同? (英语) Zbl 1192.03021号 牛市。符号。日志。 15,第2期,145-168(2009). 审核人:Heribert Vollmer(汉诺威) MSC公司:03D99号 第68季度01 68瓦01 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}等人,公牛。符号。日志。15,第2号,145--168(2009;Zbl 1192.03021) 全文: DOI程序 arXiv公司 反向链接: 卫生官员
纳鸿·德肖维茨;尤里·古里维奇 可计算性的自然公理化和Church论文的证明。 (英语) Zbl 1167.03027号 牛市。符号。日志。 14,第3号,299-350(2008). 审核人:莱昂·哈克勒路(威尔顿) MSC公司:03日第10天 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{Y.Gurevich},公牛。符号。日志。14,第3号,299--350(2008;Zbl 1167.03027) 全文: DOI程序