Sciweavers

Share
CC
2008
Springer

The Strength of Multilinear Proofs

8 years 2 months ago
The Strength of Multilinear Proofs
We introduce an algebraic proof system that manipulates multilinear arithmetic formulas. We show that this proof system is fairly strong, even when restricted to multilinear arithmetic formulas of a very small depth. Specifically, we show the following:
Ran Raz, Iddo Tzameret
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2008
Where CC
Authors Ran Raz, Iddo Tzameret
Comments (0)
books