×

Found 14 Documents (Results 1–14)

The Vitali covering theorem in the Weihrauch lattice. (English) Zbl 1485.03241

Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 188-200 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Las Vegas computability and algorithmic randomness. (English) Zbl 1355.68132

Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 130-142 (2015).
MSC:  68Q30 03D32 91A10
PDFBibTeX XMLCite
Full Text: DOI

Effective choice and boundedness principles in computable analysis. (English) Zbl 1247.03128

Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009).
PDFBibTeX XMLCite
Full Text: DOI

Weihrauch degrees, omniscience principles and weak computability. (English) Zbl 1247.03127

Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009).
PDFBibTeX XMLCite
Full Text: DOI

Borel complexity of topological operations on computable metric spaces. (English) Zbl 1139.03032

Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 83-97 (2007).
MSC:  03D45 03E15 54H05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field