Advertisement

Lower bounds for propositional proofs and independence results in bounded arithmetic (abstract)

  • Alexander A. Razborov
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 969)

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Alexander A. Razborov
    • 1
  1. 1.Steklov Mathematical InstituteMoscowRussia

Personalised recommendations