1.Semicomputable Points in Euclidean Spaces

作　　者：Mathieu Hoyrup ;Donald M. Stull

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-13.doi:10.4230/LIPIcs.MFCS.2019.48

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

文章 ID：238891998

文章详细全文下载

2.Descriptive Complexity on Non-Polish Spaces II

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:132:1-132:17.doi:10.4230/LIPIcs.ICALP.2020.132

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

文章 ID：255823167

文章详细全文下载

3.Descriptive Complexity on Non-Polish Spaces

作　　者：Antonin Callard ;Mathieu Hoyrup

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:8:1-8:16.doi:10.4230/LIPIcs.STACS.2020.8

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

文章 ID：255823547

文章详细全文下载

4.Semicomputable Geometry

作　　者：Mathieu Hoyrup ;Diego Nava Saucedo ;Don M. Stull

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:129:1-129:13.doi:10.4230/LIPIcs.ICALP.2018.129

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

文章 ID：220014920

文章详细

5.Randomness on Computable Probability Spaces - A Dynamical Point of View

作　　者：Peter Gacs ;Mathieu Hoyrup ;Cristobal Rojas

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:469-480.doi:10.4230/LIPIcs.STACS.2009.1828

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

文章 ID：186845564

文章详细全文下载

6.The dimension of ergodic random sequences

作　　者：Mathieu Hoyrup

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:567-576.doi:10.4230/LIPIcs.STACS.2012.567

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

文章 ID：186846061

文章详细全文下载

7.Irreversible computable functions

作　　者：Mathieu Hoyrup

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;25:362-373.doi:10.4230/LIPIcs.STACS.2014.362

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

文章 ID：186846467

文章详细全文下载

8.On the Information Carried by Programs about the Objects They Compute

作　　者：Mathieu Hoyrup ;Crist{\'o}bal Rojas

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:447-459.doi:10.4230/LIPIcs.STACS.2015.447

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

文章 ID：186846681

文章详细全文下载

9.The Decidable Properties of Subrecursive Functions

作　　者：Mathieu Hoyrup

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:108:1-108:13.doi:10.4230/LIPIcs.ICALP.2016.108

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

文章 ID：186847705

文章详细全文下载

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Mathieu Hoyrup")))) )) ) )"

	Mathieu Hoyrup	9篇
	Antonin Callard	1篇
	Cristobal Rojas	1篇
	Crist{\'o}bal Rojas	1篇
	Diego Nava Saucedo	1篇