Publication:4107930
From MaRDI portal
zbMath0339.68039MaRDI QIDQ4107930
No author found.
Publication date: 1976
68Q25: Analysis of algorithms and problem complexity
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items
Finite-model theory -- A personal perspective, Downward translations of equality, Arithmetical hierarchy and complexity of computation, Limitations of the upward separation technique