Primitive recursive equivalence relations and their primitive recursive complexity

Nikolay Bazhenov, Keng Meng Ng, Luca San Mauro, Andrea Sorbi. Primitive recursive equivalence relations and their primitive recursive complexity. Computability, 11(3-4):187-221, 2022. [doi]

Abstract

Abstract is missing.