Compactness and the effectivity of uniformization. Rettinger, R. In How the world computes, volume 7318, of Lecture Notes in Comput. Sci., pages 626–625, Heidelberg, 2012. Springer.
bibtex   
@INPROCEEDINGS{Ret12a,
  author = {Rettinger, Robert},
  title = {Compactness and the effectivity of uniformization},
  booktitle = {How the world computes},
  year = {2012},
  volume = {7318},
  series = {Lecture Notes in Comput. Sci.},
  pages = {626--625},
  address = {Heidelberg},
  publisher = {Springer},
  keywords = {bib,cca},
  mrclass = {03F60 (30C20)},
  mrnumber = {2983724},
  owner = {Vasco},
  timestamp = {2013.12.01}
}

Downloads: 0