scientific article

zbMath0593.03024MaRDI QIDQ3722485

Thomas Zeugmann, E. B. Kinber

Publication date: 1985

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

zbMATH Keywords

inductive inferencealmost everywhere identification in the limit

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20) Inductive definability (03D70)

Related Items

On learning of functions refutably., Generalized notions of mind change complexity, Saving the phenomena: Requirements that inductive inference machines not contradict known data, Reflecting and self-confident inductive inference machines, Learning recursive functions: A survey, Reflective inductive inference of recursive functions, Learning classes of approximations to non-recursive functions., One-sided error probabilistic inductive inference and reliable frequency identification