Pages that link to "Item:Q1872729"
From MaRDI portal
The following pages link to Monotone simulations of non-monotone proofs. (Q1872729):
Displayed 10 items.
- On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497) (← links)
- A sorting network in bounded arithmetic (Q638498) (← links)
- Algebraic proofs over noncommutative formulas (Q642520) (← links)
- Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047) (← links)
- Proof complexity of monotone branching programs (Q2104254) (← links)
- Expander construction in \(\mathrm{VNC}^1\) (Q2187260) (← links)
- On \(\epsilon\)-sensitive monotone computations (Q2198153) (← links)
- Proofs with monotone cuts (Q2888631) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)
- Expander Construction in VNC1 (Q4638081) (← links)