scientific article; zbMATH DE number 3583792
From MaRDI portal
Publication:4154853
zbMATH Open0375.02029MaRDI QIDQ4154853FDOQ4154853
Authors: Rolf Lindner
Publication date: 1975
Title of this publication is not available (Why is that?)
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)
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)