艾克·诺依曼 统一信封。 (英语) Zbl 07577572号 日志。方法计算。科学。 18,第3号,第8号论文,第34页(2022年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{E.Neumann},日志。方法计算。科学。18,第3号,第8号论文,34页(2022;Zbl 07577572) 全文: arXiv公司 链接
瓦斯科·布拉特卡 Stashing and parallization五边形。 (英语) Zbl 07471680号 日志。方法计算。科学。 17,第4号,第20号论文,第29页(2021年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka},日志。方法计算。科学。17,第4号,第20号论文,第29页(2021;Zbl 07471680) 全文: arXiv公司 链接
艾克·诺依曼 涉及任意实数的线性递归的决策问题。 (英语) Zbl 07407788号 日志。方法计算。科学。 17,第3号,第16号论文,第26页(2021年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{E.Neumann},日志。方法计算。科学。17,第3号,第16号论文,第26页(2021;Zbl 07407788) 全文: arXiv公司 链接
罗德·唐尼;亚历山大·梅尔尼科夫;Ng,Keng Meng女士 在线结构理论基础。二: 操作员接近。 (英语) Zbl 07407778号 日志。方法计算。科学。 17,第3号,第6号论文,35页(2021年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,日志。方法计算。科学。17,第3号,第6号论文,35页(2021;Zbl 07407778) 全文: arXiv公司 链接
弗洛里安·斯坦伯格;洛朗·塞利;霍尔格·蒂斯 可计算分析和连续性概念Coq公司. (英语) Zbl 07350782号 日志。方法计算。科学。 17,第2号,第16号论文,43页(2021年).MSC公司:03D78号 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Steinberg}等人,日志。方法计算。科学。17,第2号,第16号论文,43页(2021;Zbl 07350782) 全文: arXiv公司 链接
马修·德·布莱希特;Tatsuji Kawai 关于幂空间结构的可交换性。 (英语) Zbl 1528.06017号 日志。方法计算。科学。 15,第3号,第13号论文,第25页(2019年).MSC公司:2012年2月6日 03E15年 06B35号 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{M.de Brecht}和\textit{T.Kawai},Log。方法计算。科学。15,第3号,第13号论文,25页(2019年;Zbl 1528.06017) 全文: arXiv公司
雨果·诺布雷加;阿诺·保利 Weihrauch度中的博弈特征和下锥。 (英语) Zbl 1484.03098号 日志。方法计算。科学。 15,第3号,第11号论文,29页(2019年).MSC公司:03E15年 03天30分 03D78号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{H.Nobrega}和\textit{A.Pauly},日志。方法计算。科学。15,第3号,第11号论文,29页(2019年;Zbl 1484.03098) 全文: arXiv公司
瓦斯科·布拉特卡;阿诺·保利 关于Weihrauch度的代数结构。 (英语) Zbl 1454.03053号 日志。方法计算。科学。 14,第4期,第4号论文,36页(2018年).MSC公司:03天30分 03D78号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}和\textit{A.Pauly},日志。方法计算。科学。14,第4期,第4号论文,36页(2018;Zbl 1454.03053) 全文: 内政部 arXiv公司
瓦斯科·布拉特卡 图灵跳跃和极限之间的伽罗瓦联系。 (英语) Zbl 1515.03187号 日志。方法计算。科学。 14,第3号,第13号论文,第37页(2018).MSC公司:03天30分 03D20日 03D78号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka},日志。方法计算。科学。14,第3号,第13号论文,37页(2018;Zbl 1515.03187) 全文: 内政部 arXiv公司
阿诺·保利;威廉·福凯;乔治·戴维 Weihrauch-分层计算的完备性。 (英语) Zbl 1459.03069号 日志。方法计算。科学。 14,第2号,第11号论文,第15页(2018年).MSC公司:03D78号 03天32分 03层60 PDF格式BibTeX公司 XML格式引用 \textit{A.Pauly}等人,Log。方法计算。科学。14,第2号,第11号论文,第15页(2018;Zbl 1459.03069) 全文: 内政部 arXiv公司
马修·德·布莱希特 Hurewicz关于拟波兰空间的一个定理的推广。 (英语) Zbl 1459.03074号 日志。方法计算。科学。 14,第1号,第13号论文,18页(2018).MSC公司:03E15年 05年5月54日 54D10号 PDF格式BibTeX公司 XML格式引用 \textit{M.de Brecht},日志。方法计算。科学。14,第1号,第13号论文,18页(2018;Zbl 1459.03074) 全文: 内政部 arXiv公司
Kihara,Takayuki木原 均匀化问题的Borel-分段连续可约性。 (英语) Zbl 1445.03051号 日志。方法计算。科学。 12,第4号,第4篇论文,35页(2016年).MSC公司:03D78号 03E15年 03天30分 03层60 PDF格式BibTeX公司 XML格式引用 \textit{T.Kihara},日志。方法计算。科学。12,第4期,第4号论文,35页(2016;Zbl 1445.03051) 全文: 内政部 arXiv公司