Joining non-low C.E. sets with diagonally non-computable functions - researchr publication

researchr

You are not signed in
Sign in
Sign up

Laurent Bienvenu, Noam Greenberg, Antonín Kucera, Joseph S. Miller, André Nies, Daniel Turetsky. Joining non-low C.E. sets with diagonally non-computable functions. Journal of Logic and Computation, 23(6):1183-1194, 2013. [doi]

Abstract is missing.

runs on WebDSL