Computable Banach spaces via domain theory (Q1292403): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345690
@@ Property / cites work: Q3345690 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain representations of topological spaces
@@ Property / cites work: Domain representations of topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Domain representability of metric spaces
@@ Property / cites work: Domain representability of metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic operators in constructive metric spaces
+Normal rank
@@ Property / cites work @@
+Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
+Normal rank
@@ Property / cites work @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222886
@@ Property / cites work: Q4222886 / rank @@
+Normal rank
@@ Property / cites work @@
+A domain-theoretic approach to computability on the real line
+Normal rank
@@ Property / cites work @@
+Computable functionals of finite types
@@ Property / cites work: Computable functionals of finite types / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Berechenbare Reelle Funktionen
@@ Property / cites work: Berechenbare Reelle Funktionen / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226754
@@ Property / cites work: Q3226754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete local rings as domains
@@ Property / cites work: Complete local rings as domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on computable metric spaces
@@ Property / cites work: Computability on computable metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217582
@@ Property / cites work: Q4217582 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1292403