Sciweavers

CC
2008
Springer
13 years 11 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 arith...
Ran Raz, Iddo Tzameret