1.Monte Carlo Computability

作　　者：Vasco Brattka ;Rupert H{\"o}lzl ;Rutger Kuyper

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:17:1-17:14.doi:10.4230/LIPIcs.STACS.2017.17

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：191698346

文章详细全文下载
2.The Denjoy alternative for computable functions

作　　者：Laurent Bienvenu ;Rupert H{\"o}lzl ;Joseph S. Miller 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:543-554.doi:10.4230/LIPIcs.STACS.2012.543

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846059

文章详细全文下载
3.Las Vegas Computability and Algorithmic Randomness

作　　者：Vasco Brattka ;Guido Gherardi ;Rupert H{\"o}lzl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:130-142.doi:10.4230/LIPIcs.STACS.2015.130

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846657

文章详细全文下载
4.Inductive Inference and Reverse Mathematics

作　　者：Rupert H{\"o}lzl ;Sanjay Jain ;Frank Stephan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:420-433.doi:10.4230/LIPIcs.STACS.2015.420

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846679

文章详细全文下载
5.Separations of Non-monotonic Randomness Notions

作　　者：Laurent Bienvenu ;Rupert H{\"o}lzl ;Thorsten Kr{\"a}ling 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2260

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848308

文章详细

	有本地全文	4篇
	有全文链接	1篇

	Rupert H{\"o}lzl	5篇
	Laurent Bienvenu	2篇
	Vasco Brattka	2篇
	Andr{\'e} Nies	1篇
	Frank Stephan	1篇

	Guido Gherardi	1篇
	Joseph S. Miller	1篇
	Rutger Kuyper	1篇
	Sanjay Jain	1篇
	Thorsten Kr{\"a}ling	1篇
	Wolfgang Merkle	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Rupert H{\"o}lzl")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2017	1篇
	2015	2篇
	2012	1篇
	2009	1篇