Rice and Rice-Shapiro Theorems for transfinite correction grammars (Q3096086): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.201020054
+Normal rank
@@ Property / OpenAlex ID @@
+W2062284096
@@ Property / OpenAlex ID: W2062284096 / rank @@
+Normal rank
@@ Property / cites work @@
+Parsimony hierarchies for inductive inference
@@ Property / cites work: Parsimony hierarchies for inductive inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943318
@@ Property / cites work: Q4943318 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Structures and Ershov's Hierarchy
@@ Property / cites work: Recursive Structures and Ershov's Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis of termination proofs
@@ Property / cites work: Proof-theoretic analysis of termination proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Learning correction grammars
@@ Property / cites work: Learning correction grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamically Delayed Postdictive Completeness and Consistency in Learning
+Normal rank
@@ Property / cites work @@
+Q5619076
@@ Property / cites work: Q5619076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619077
@@ Property / cites work: Q5619077 / rank @@
+Normal rank
@@ Property / cites work @@
+On a hierarchy of sets. III
@@ Property / cites work: On a hierarchy of sets. III / rank @@
+Normal rank
@@ Property / cites work @@
+On the role of procrastination in machine learning
+Normal rank
@@ Property / cites work @@
+Rice Theorems For D.R.E. Sets
@@ Property / cites work: Rice Theorems For D.R.E. Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Rice Theorems for ∑<sub><i>n</i></sub><sup>-1</sup> Sets
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Q4153600
@@ Property / cites work: Q4153600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4310702
@@ Property / cites work: Q4310702 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchy of limiting computations
@@ Property / cites work: Hierarchy of limiting computations / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized notions of mind change complexity
@@ Property / cites work: Generalized notions of mind change complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Turing oracle machines, online computing, and three displacements in computability theory
+Normal rank