K Ambos-Spies
-
Undecidability Results For Low Complexity Degree Structures
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
SIGACT news complexity theory column 40
ACM SIGACT News