The strong exponential hierarchy collapses
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Functional interpretations of feasibly constructive arithmetic
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Hi-index | 0.00 |