scientific article; zbMATH DE number 3583792

MaRDI QIDQ4154853zbMATHFDO

Authors Rolf Lindner

Publication date 1975

Mathematics Subject Classification ID

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

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)