![](/img/cover-not-exists.png)
Improved witnessing and local improvement principles for second-order bounded arithmetic
Beckmann, Arnold, Buss, Samuel R.Volume:
15
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/2559950
Date:
March, 2014
File:
PDF, 861 KB
english, 2014