Effectively closed sets and graphs of computable real functions. (Q1607292): Difference between revisions

@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Computability on subsets of Euclidean space. I: Closed and compact subsets
+Normal rank
@@ Property / cites work @@
+Q4764101
@@ Property / cites work: Q4764101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934277
@@ Property / cites work: Q4934277 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively presented games and strategies
@@ Property / cites work: Recursively presented games and strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets for \(\Pi^0_1\) classes
@@ Property / cites work: Index sets for \(\Pi^0_1\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249723
@@ Property / cites work: Q4249723 / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets in computable analysis
@@ Property / cites work: Index sets in computable analysis / rank @@
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on Turing machines
@@ Property / cites work: \(\omega\)-computations on Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of maximization and integration
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of members of \(\Pi_ 1^ 0\) classes
@@ Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computability of fractal dimensions and Hausdorff measure
+Normal rank
@@ Property / cites work @@
+Computational complexity of real functions
@@ Property / cites work: Computational complexity of real functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3227568
@@ Property / cites work: Q3227568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3248017
@@ Property / cites work: Q3248017 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperarithmetical Index Sets in Recursion Theory
@@ Property / cites work: Hyperarithmetical Index Sets in Recursion Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749832
@@ Property / cites work: Q4749832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3778751
@@ Property / cites work: Q3778751 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030812
@@ Property / cites work: Q3030812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281565
@@ Property / cites work: Q4281565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217582
@@ Property / cites work: Q4217582 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank