scientific article; zbMATH DE number 3530978
From MaRDI portal
zbMath0339.68039MaRDI QIDQ4107930
No author found.
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items
Limitations of the upward separation technique, Downward translations of equality, Finite-model theory -- A personal perspective, Arithmetical hierarchy and complexity of computation