The following pages link to (Q4828877):
Displaying 5 items.
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- Monotone simulations of non-monotone proofs. (Q1872729) (← links)
- Expander construction in \(\mathrm{VNC}^1\) (Q2187260) (← links)
- Expander Construction in VNC1 (Q4638081) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)