Effective strong nullness and effectively closed sets. Higuchi, K. & Kihara, T. In How the world computes, volume 7318, of Lecture Notes in Comput. Sci., pages 303–312, Heidelberg, 2012. Springer.
bibtex   
@INPROCEEDINGS{HK12,
  author = {Higuchi, Kojiro and Kihara, Takayuki},
  title = {Effective strong nullness and effectively closed sets},
  booktitle = {How the world computes},
  year = {2012},
  volume = {7318},
  series = {Lecture Notes in Comput. Sci.},
  pages = {303--312},
  address = {Heidelberg},
  publisher = {Springer},
  keywords = {bib,cca},
  mrclass = {03D32 (03D55 03F60)},
  mrnumber = {2983693},
  owner = {Vasco},
  timestamp = {2013.12.01}
}

Downloads: 0