scientific article; zbMATH DE number 3583792

MaRDI QIDQ4154853zbMATH OpenFDO

Authors Rolf Lindner

Publication date 1975

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Recursive functions and relations, subrecursive hierarchies (03D20) Applications of computability and recursion theory (03D80) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99) Foundations and philosophical topics in statistics (62A01) Analysis of algorithms and problem complexity (68Q25)

Cited in

(1)

• Research in the theory of inductive inference by GDR mathematicians - A survey

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 Q4154853)