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

Cached

Download Links

by Jan Krajícek
Citations:86 - 2 self