On the congruence of the upper semilattices of recursively enumerable m- powers and tabular powers
From MaRDI portal
Publication:1244337
DOI10.1007/BF01152759zbMath0372.02022MaRDI QIDQ1244337
Publication date: 1976
Published in: Mathematical Notes (Search for Journal in Brave)
03D25: Recursively (computably) enumerable sets and degrees
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
Cites Work