Publication:4163522
From MaRDI portal
zbMath0383.03027MaRDI QIDQ4163522
No author found.
Publication date: 1976
03D15: Complexity of computation (including implicit computational complexity)
03D20: Recursive functions and relations, subrecursive hierarchies
03D45: Theory of numerations, effectively presented structures
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items