Pages that link to "Item:Q1024659"
From MaRDI portal
The following pages link to The strength of multilinear proofs (Q1024659):
Displaying 5 items.
- Algebraic proofs over noncommutative formulas (Q642520) (← links)
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- Algebraic proof systems over formulas. (Q1401356) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)
- (Q5028363) (← links)