CC
2008
Springer
15 years 20 days ago
2008
Springer
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...