Recursion theoretic characterizations of complexity theoretic properties | IEEE Conference Publication | IEEE Xplore