Vasco Brattka, Guido Gherardi. Effective Choice and Boundedness Principles in Computable Analysis. In Andrej Bauer, Peter Hertling, Ker-I Ko, editors, Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, August 18-22, 2009, Ljubljana, Slovenia. Volume 09003 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]
@inproceedings{BrattkaG09a,
title = {Effective Choice and Boundedness Principles in Computable Analysis},
author = {Vasco Brattka and Guido Gherardi},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2262},
tags = {analysis, principles},
researchr = {https://researchr.org/publication/BrattkaG09a},
cites = {0},
citedby = {0},
booktitle = {Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, August 18-22, 2009, Ljubljana, Slovenia},
editor = {Andrej Bauer and Peter Hertling and Ker-I Ko},
volume = {09003},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
}