Saving the phenomena: Requirements that inductive inference machines not contradict known data

Language identification in the limit

Eric Gold · Information and Control · 1967 · 3.6K citations

Language Studies, Linguistics, Psycholinguistics +2

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

A Machine-Independent Theory of the Complexity of Recursive Functions

Manuel Blum · Journal of the ACM · 1967 · 835 citations · Full text

Computing, Computer Science, Algorithms +11

Toward a mathematical theory of inductive inference

Lenore Blum, Manuel Blum · Information and Control · 1975 · 679 citations

Natural Sciences, Computer Science, Mathematics +9

Comparison of identification criteria for machine inductive inference

John Case, Carl H. Smith · Theoretical Computer Science · 1983 · 415 citations

Computing, Computer Science, Algorithms +9