弗兰克·斯蒂芬;吴国华;袁博文 薄(\Pi_1^0)类和普通学位的成员。 (英语) Zbl 1507.03095号 程序。美国数学。Soc公司。 150,编号7,3125-3131(2022). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03D28号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{F.Stephan}等人,Proc。美国数学。Soc.150,No.7,3125--3131(2022;Zbl 1507.03095) 全文: 内政部 arXiv公司
鲁伯特·Hölzl;沃尔夫冈·默克尔;约瑟夫·米勒;弗兰克·斯蒂芬;于,梁 Chaitin’s(\Omega)作为连续函数。 (英语) Zbl 1471.03068号 J.塞姆。日志。 85,第1期,486-510(2020年). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03天32分 68问题30 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}等人,J.Symb。日志。85,第1号,486--510(2020;Zbl 1471.03068) 全文: 内政部
巴哈迪尔·库萨诺夫;弗兰克·斯蒂芬;杨,岳 可计算类别和Ershov层次结构。 (英语) Zbl 1165.03012号 Ann.纯粹应用。逻辑 156,第1期,86-95(2008). 审核人:Marat M.Arslanov(喀山) MSC公司:03C57号 03C35号 03D45号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{B.Khousainov}等人,《Ann.Pure Appl.》。逻辑156,No.1,86--95(2008;Zbl 1165.03012) 全文: 内政部
凯斯,约翰;马提亚斯·奥特;Sharma,阿伦;弗兰克·斯蒂芬 学习通过观看游戏管理员赢得过程控制游戏。 (英语) Zbl 1009.68116号 Inf.计算。 174,第1期,第1-19页(2002年).MSC公司:68T05型 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,《信息计算》。174,第1号,1--19(2002;Zbl 1009.68116) 全文: 内政部 链接
奥特·M·。;F.斯蒂芬。 分支学习模型中游戏和过程控制的结构度量。 (英语) Zbl 0945.68150号 西奥。计算。科学。 244,编号1-2135-165(2000).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ott}和\textit{F.Stephan},Theor。计算。科学。244,编号1--2,135-165(2000;Zbl 0945.68150) 全文: 内政部