Author:
Dillhage Ruth,Brattka Vasco
Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Constructive Analysis;Bishop,1985
2. Borel complexity and computability of the Hahn-Banach Theorem;Brattka;Archive for Mathematical Logic,2008
3. Plottable real number functions and the computable graph theorem;Brattka;SIAM Journal on Computing,2008
4. Computability on subsets of metric spaces;Brattka;Theoretical Computer Science,2003
5. Techniques of Constructive Analysis;Bridges,2006