Confident and consistent partial learning of recursive functions (Q465247): Difference between revisions

@@ Property / cites work @@
+Inductive inference of automata, functions and programs
+Normal rank
@@ Property / cites work @@
+Toward a mathematical theory of inductive inference
+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 @@
+Comparison of identification criteria for machine inductive inference
+Normal rank
@@ Property / cites work @@
+Some decidability results on grammatical inference and complexity
+Normal rank
@@ Property / cites work @@
+Learning Families of Closed Sets in Matroids
@@ Property / cites work: Learning Families of Closed Sets in Matroids / 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 @@
+Reflective inductive inference of recursive functions
+Normal rank
@@ Property / cites work @@
+The Boolean algebra of logic
@@ Property / cites work: The Boolean algebra of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3211289
@@ Property / cites work: Q3211289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256189
@@ Property / cites work: Q3256189 / rank @@
+Normal rank