Undecidability results for low complexity time classes
Authors:
Rod Downey;André Nies
Affiliations:
-;-
Venue:
Journal of Computer and System Sciences - Eleventh annual conference on computational learning theory&slash;Twelfth Annual IEEE conference on computational complexity