Uniform Proof Complexity

Arnold Beckmann. Uniform Proof Complexity. Journal of Logic and Computation, 15(4):433-446, 2005. [doi]

Abstract

Abstract is missing.