Login / Signup

Self-reflection principles and NP-hardness.

Dan E. Willard
Published in: Proof Complexity and Feasible Arithmetics (1996)
Keyphrases