A Computable Version of Dini's Theorem for Topological Spaces.

Tanja Grubba Klaus Weihrauch

Published in: CCA (2005)

Keyphrases

topological spaces
databases
image processing
approximation spaces
knowledge base
turing machine