A Computable Version of Dini s Theorem for Topological Spaces

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.

Abstract

Abstract is missing.