Hereditarily effective operations
From MaRDI portal
Publication:1247963
DOI10.1007/BF01877480zbMath0382.03027MaRDI QIDQ1247963
Publication date: 1978
Published in: Algebra and Logic (Search for Journal in Brave)
03D25: Recursively (computably) enumerable sets and degrees
03D99: Computability and recursion theory
Related Items
Cites Work