Computability on computable metric spaces
type: Item
instance of: scholarly article
title: Computability on computable metric spaces
zbMATH Open document ID: 0783.03023
DOI: 10.1016/0304-3975(93)90001-A
published in: Theoretical Computer Science
publication date: 1994-03-20T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03D65
zbMATH DE Number: 218927
zbMATH Keywords: Type 2 theory of effectivity
zbMATH Keywords: computationally admissible representations of metric spaces
zbMATH Keywords: continuous functions
author: Klaus Weihrauch
MaRDI profile type: Publication
cites work: Processes and the denotational semantics of concurrency
cites work: Q3803111
cites work: Q5737081
cites work: Computational complexity of real functions
cites work: Q3701420
cites work: Q3722498
cites work: Theory of representations
cites work: Compactness in constructive analysis revisited
cites work: Q5541833
cites work: Q3338243
cites work: Q3262213
cites work: Recursive metric spaces
cites work: Q3765758
cites work: Q3788007
cites work: Embedding metric spaces into CPO's
cites work: Type 2 recursion theory
cites work: Q3751553
cites work: Q3974889
cites work: On the complexity of online computations of real functions
cites work: Representations of the real numbers and of the open subsets of the set of real numbers
cites work: Type 2 computational complexity of functions on Cantor's space
description: scientific article; zbMATH DE number 218927