A note on the diamond operator
From MaRDI portal
Publication:4995605
DOI10.3233/COM-200295MaRDI QIDQ4995605
Publication date: 25 June 2021
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2001.09372
03Dxx: Computability and recursion theory