Tanja Grubba, Klaus Weihrauch. A Computable Version of Dini s Theorem for Topological Spaces. In Tanja Grubba, Peter Hertling, Hideki Tsuiki, Klaus Weihrauch, editors, CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan. Volume 326-7/2005 of Informatik Berichte, pages 117-129, FernUniversität Hagen, Germany, 2005.
@inproceedings{GrubbaW05, title = {A Computable Version of Dini s Theorem for Topological Spaces}, author = {Tanja Grubba and Klaus Weihrauch}, year = {2005}, researchr = {https://researchr.org/publication/GrubbaW05}, cites = {0}, citedby = {0}, pages = {117-129}, booktitle = {CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan}, editor = {Tanja Grubba and Peter Hertling and Hideki Tsuiki and Klaus Weihrauch}, volume = {326-7/2005}, series = {Informatik Berichte}, publisher = {FernUniversität Hagen, Germany}, }