Author:
Le Roux Stéphane,Pauly Arno
Publisher
Springer International Publishing
Reference23 articles.
1. Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: An arithmetical hierarchy of the law of excluded middle and related principles. In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), pp. 192–201 (2004)
2. Brattka, V.: Effective Borel measurability and reducibility of functions. Math. Logic Q. 51(1), 19–44 (2005)
3. Brattka, V., Gherardi, G.: Effective choice and boundedness principles in computable analysis. Bull. Symbolic Logic 1, 73–117 (2011).
arXiv:0905.4685
4. Brattka, V., Gherardi, G.: Weihrauch degrees, omniscience principles and weak computability. J. Symbolic Logic 76, 143–176 (2011).
arXiv:0905.4679
5. Brattka, V., Gherardi, G., Hölzl, R.: Probabilistic computability and choice. arXiv 1312.7305 (2013).
http://arxiv.org/abs/1312.7305
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献