Primitive recursive equivalence relations and their primitive recursive complexity
From MaRDI portal
Publication:5061388
DOI10.3233/COM-210375MaRDI QIDQ5061388
Andrea Sorbi, Keng Meng Ng, Nikolay Bazhenov, Luca San Mauro
Publication date: 12 January 2023
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2109.04055
03Dxx: Computability and recursion theory