Publication:3632246
From MaRDI portal
zbMath1174.03017MaRDI QIDQ3632246
Publication date: 23 June 2009
68Q25: Analysis of algorithms and problem complexity
03D15: Complexity of computation (including implicit computational complexity)
03D20: Recursive functions and relations, subrecursive hierarchies