大卫·R·莱斯特。 世界上最短的正确精确实数程序? (英语) Zbl 1386.68150号 Inf.计算。 216, 39-46 (2012). 审核人:曼弗雷德·科伯(伯明翰) MSC公司:68吨15 65G20个 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Lester},信息计算。216,39-46(2012年;兹bl 1386.68150) 全文: 内政部
安德烈·鲍尔;保罗·泰勒 Dedekind现实是抽象的石头二元性。 (英语) Zbl 1262.03130号 数学。结构。计算。科学。 19,第4期,757-838(2009).MSC公司:03层60 03B40型 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}和\textit{P.Taylor},数学。结构。计算。科学。19,第4号,757--838(2009;Zbl 1262.03130) 全文: 内政部
安德烈·鲍尔;伊斯托克·卡夫克勒 适合实现的连续域的构造性理论。 (英语) 兹比尔1169.06005 Ann.纯粹应用。逻辑 159,第3期,251-267(2009). 审核人:Dieter Spreen(西根) MSC公司:06B35号 第三天65 03层60 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}和\textit{I.Kavkler},Ann.《纯粹的应用》。逻辑159,No.3,251--267(2009;Zbl 1169.06005) 全文: 内政部