Extensions of two constructions of Ahmad
From MaRDI portal
Publication:5061391
DOI10.3233/COM-210380MaRDI QIDQ5061391
Steffen Lempp, Keng Meng Ng, Jun Le Goh, Mariya Ivanova Soskova
Publication date: 12 January 2023
Published in: Computability (Search for Journal in Brave)
03Dxx: Computability and recursion theory