scientific article; zbMATH DE number 3585414

MaRDI QIDQ4154549zbMATH OpenFDO

Authors Efim Kinber

Publication date 1977

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Higher-type and set recursion theory (03D65)

Cited in

(1)

• Inductive inference of recursive functions: qualitative theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154549)