Computability on computable metric spaces (Q1802069): Difference between revisions

@@ Property / author @@
+Weihrauch, Klaus
@@ Property / author: Weihrauch, Klaus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5737081
@@ Property / cites work: Q5737081 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of real functions
@@ Property / cites work: Computational complexity of real functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701420
@@ Property / cites work: Q3701420 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3722498
@@ Property / cites work: Q3722498 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness in constructive analysis revisited
@@ Property / cites work: Compactness in constructive analysis revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541833
@@ Property / cites work: Q5541833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338243
@@ Property / cites work: Q3338243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262213
@@ Property / cites work: Q3262213 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3765758
@@ Property / cites work: Q3765758 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3788007
@@ Property / cites work: Q3788007 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding metric spaces into CPO's
@@ Property / cites work: Embedding metric spaces into CPO's / rank @@
+Normal rank
@@ Property / cites work @@
+Type 2 recursion theory
@@ Property / cites work: Type 2 recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3974889
@@ Property / cites work: Q3974889 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of online computations of real functions
+Normal rank
@@ Property / cites work @@
+Representations of the real numbers and of the open subsets of the set of real numbers
+Normal rank
@@ Property / cites work @@
+Type 2 computational complexity of functions on Cantor's space
+Normal rank