Publication:3323935
From MaRDI portal
zbMath0538.03036MaRDI QIDQ3323935
Publication date: 1982
03D15: Complexity of computation (including implicit computational complexity)
03D20: Recursive functions and relations, subrecursive hierarchies