Effective Dini's Theorem on Effectively Compact Metric Spaces. Kamo, H. In Brattka, V.; Staiger, L.; and Weihrauch, K., editors, Computability and Complexity in Analysis, volume 320, of Informatik Berichte, pages 69–77, August, 2004. FernUniversität in Hagen. Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany, August 16–20, 2004
bibtex   
@INPROCEEDINGS{Kam04,
  author = {Kamo, Hiroyasu},
  title = {Effective {D}ini's Theorem on Effectively Compact Metric Spaces},
  booktitle = {Computability and Complexity in Analysis},
  year = {2004},
  editor = {Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus},
  volume = {320},
  series = {Informatik Berichte},
  pages = {69--77},
  month = aug,
  publisher = {FernUniversit\"at in Hagen},
  note = {Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany,
	August 16--20, 2004}
}
Downloads: 0