Improved witnessing and local improvement principles for second-order bounded arithmetic

Arnold Beckmann, Samuel R. Buss
  • ACM Transactions on Computational Logic, March 2014, ACM (Association for Computing Machinery)
  • DOI: 10.1145/2559950

The authors haven't finished explaining this publication. If you are the author, sign in to claim or explain your work.

Read Publication

The following have contributed to this page: Samuel R Buss

In partnership with: