scientific article; zbMATH DE number 3583792
From MaRDI portal
Publication:4154853
zbMath0375.02029MaRDI QIDQ4154853
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Foundations and philosophical topics in statistics (62A01) Recursive functions and relations, subrecursive hierarchies (03D20) Applications of computability and recursion theory (03D80) Computability and recursion theory (03D99) Turing machines and related notions (03D10) Proof theory and constructive mathematics (03F99)
Related Items