Login / Signup

From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk).

Iddo Tzameret
Published in: CSL (2020)
Keyphrases