Publication:4198497
From MaRDI portal
zbMath0412.03030MaRDI QIDQ4198497
Publication date: 1978
03D15: Complexity of computation (including implicit computational complexity)
03D25: Recursively (computably) enumerable sets and degrees
03D45: Theory of numerations, effectively presented structures