scientific article

zbMath0437.03020MaRDI QIDQ3877667

Klaus P. Jantke

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inductive inferenceprogram synthesisconsistent identificationincomplete register machine program

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items

Research in the theory of inductive inference by GDR mathematicians - A survey, Robust learning with infinite additional information, Synthesizing noise-tolerant language learners, Synthesizing learners tolerating computable noisy data, Learning algebraic structures from text, The synthesis of language learners.