On the complexity of minimum inference of regular sets

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

Language identification in the limit

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

Language Studies, Linguistics, Psycholinguistics +2

Complexity of automaton identification from given data

Eric Gold · Information and Control · 1978 · 770 citations

Computing, Computer Science, Mathematics +12

Toward a mathematical theory of inductive inference

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

Natural Sciences, Computer Science, Mathematics +9

A study of grammatical inference

James J. Horning · Defense Technical Information Center (DTIC) · 1969 · 220 citations

Language Studies, Computer Science, Linguistics +12