Publication:3220577
From MaRDI portal
zbMath0556.03037MaRDI QIDQ3220577
Publication date: 1984
03D20: Recursive functions and relations, subrecursive hierarchies
03D25: Recursively (computably) enumerable sets and degrees
03D45: Theory of numerations, effectively presented structures
Related Items