×

Found 3 Documents (Results 1–3)

Equational calculi and constant depth propositional proofs. (English) Zbl 0890.03031

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, 149-162 (1998).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field

Software