Theories for Subexponential-size Bounded-depth Frege Proofs Kaveh Ghasemloo and Stephen Cook Department of Computer Science University of Toronto Canada - Kaveh - Document - PDFSEARCH.IO

First Page	Meta Content
	Theories for Subexponential-size Bounded-depth Frege Proofs Kaveh Ghasemloo and Stephen Cook Department of Computer Science University of Toronto Canada Add to Reading List Document Date: 2013-09-08 11:41:52 Open Document File Size: 309,39 KB Share Result on Facebook

Theories for Subexponential-size Bounded-depth Frege Proofs Kaveh Ghasemloo and Stephen Cook Department of Computer Science University of Toronto CanadaAdd to Reading List