×

Found 2 Documents (Results 1–2)

Towards lower bounds for bounded-depth Frege proofs with modular connectives. (English) Zbl 0891.03027

Beame, Paul W. (ed.) et al., Proof complexity and feasible arithmetics. Papers from the DIMACS workshop, Rutgers, NJ, USA, April 21–24, 1996. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 195-227 (1998).
MSC:  03F20 68Q15 03B35
PDFBibTeX XMLCite

Filter Results by …

Document Type

Main Field