Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic

Cached

Download Links

by Jan Krajícek
Citations:91 - 4 self