Computing links and accessing arcs (Q4915223): Difference between revisions

@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Plottable Real Number Functions and the Computable Graph Theorem
+Normal rank
@@ Property / cites work @@
+Q4837918
@@ Property / cites work: Q4837918 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing space-filling curves
@@ Property / cites work: Computing space-filling curves / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001895
@@ Property / cites work: Q4001895 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective versions of local connectivity properties
+Normal rank
@@ Property / cites work @@
+Q4680828
@@ Property / cites work: Q4680828 / rank @@
+Normal rank
@@ Property / cites work @@
+Curves that must be retraced
@@ Property / cites work: Curves that must be retraced / rank @@
+Normal rank
@@ Property / cites work @@
+An effective Carathéodory theorem
@@ Property / cites work: An effective Carathéodory theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Effectiveness for Embedded Spheres and Balls
@@ Property / cites work: Effectiveness for Embedded Spheres and Balls / rank @@
+Normal rank
@@ Property / cites work @@
+Q4119824
@@ Property / cites work: Q4119824 / rank @@
+Normal rank