Effectivity questions for Kleene's recursion theorem (Q2636408): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2018.04.036
@@ Property / DOI: 10.1016/j.tcs.2018.04.036 / rank @@
-Normal rank
@@ Property / cites work @@
+Inductive inference and computable numberings
@@ Property / cites work: Inductive inference and computable numberings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513962
@@ Property / cites work: Q4513962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3425600
@@ Property / cites work: Q3425600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806962
@@ Property / cites work: Q4806962 / rank @@
+Normal rank
@@ Property / cites work @@
+Periodicity in generations of automata
@@ Property / cites work: Periodicity in generations of automata / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Vacillation in Language Learning
@@ Property / cites work: The Power of Vacillation in Language Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Control structures in hypothesis spaces: The influence on learning
+Normal rank
@@ Property / cites work @@
+Effectivity Questions for Kleene’s Recursion Theorem
+Normal rank
@@ Property / cites work @@
+Program self-reference in constructive Scott subdomains
+Normal rank
@@ Property / cites work @@
+Comparison of identification criteria for machine inductive inference
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics based on incremental learning -- excluded middle and inductive inference
+Normal rank
@@ Property / cites work @@
+Hypothesis spaces for learning
@@ Property / cites work: Hypothesis spaces for learning / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing language identification by standardizing operations
+Normal rank
@@ Property / cites work @@
+Characterizing language identification in terms of computable numberings
+Normal rank
@@ Property / cites work @@
+Numberings optimal for learning
@@ Property / cites work: Numberings optimal for learning / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets and universal numberings
@@ Property / cites work: Index sets and universal numberings / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to Kolmogorov complexity and its applications
+Normal rank
@@ Property / cites work @@
+Program Self-reference in Constructive Scott Subdomains
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Criteria of language learning
@@ Property / cites work: Criteria of language learning / rank @@
+Normal rank
@@ Property / cites work @@
+The independence of control structures in abstract programming systems
+Normal rank
@@ Property / cites work @@
+A connotational theory of program structure
@@ Property / cites work: A connotational theory of program structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+An incomplete set of shortest descriptions
@@ Property / cites work: An incomplete set of shortest descriptions / rank @@
+Normal rank
@@ Property / cites work @@
+Things that can be made into themselves
@@ Property / cites work: Things that can be made into themselves / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2018.04.036
@@ Property / DOI: 10.1016/J.TCS.2018.04.036 / rank @@
+Normal rank