NP trees and Carnap's modal logic
Journal of the ACM (JACM)
Uniform constant-depth threshold circuits for division and iterated multiplication
Journal of Computer and System Sciences - Complexity 2001
Amplifying lower bounds by means of self-reducibility
Journal of the ACM (JACM)
Reductions to graph isomorphism
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Hi-index | 0.00 |