COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY
EGOR IANOVSKI‚ RUSSELL MILLER‚ KENG MENG NG and ANDRÉ NIES
ISSN
1943−5886
Journal
The Journal of Symbolic Logic
Month
9
Pages
859–881
Volume
79
Year
2014
EGOR IANOVSKI‚ RUSSELL MILLER‚ KENG MENG NG and ANDRÉ NIES