Pages that link to "Item:Q4577770"
From MaRDI portal
The following pages link to Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770):
Displaying 6 items.
- Algebraic proofs over noncommutative formulas (Q642520) (← links)
- Formal proofs of operator identities by a single formal computation (Q2223357) (← links)
- (Q4601840) (← links)
- (Q4842978) (← links)
- (Q5028363) (← links)
- Semialgebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative? (Q6562829) (← links)