Bounded Arithmetic and Propositional Proof Complexity (1995)

by Samuel R. Buss
Venue:in Logic of Computation
Citations:10 - 0 self

Document Versions

Bounded Arithmetic and Propositional Proof Complexity –Samuel R. Buss — 1995 — in Logic of Computation
Bounded Arithmetic and Propositional Proof Complexity –Samuel R. Buss — 1995 — in Logic of Computation
Bounded arithmetic and propositional proof complexity –Samuel R. Buss — 1997 — in Logic of Computation