Pages that link to "Item:Q638498"
From MaRDI portal
The following pages link to A sorting network in bounded arithmetic (Q638498):
Displaying 8 items.
- On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497) (← links)
- Bounds on the size of test sets for sorting and related networks (Q910215) (← links)
- Proof complexity of monotone branching programs (Q2104254) (← links)
- Expander construction in \(\mathrm{VNC}^1\) (Q2187260) (← links)
- Topological lower bounds for arithmetic networks (Q2410689) (← links)
- Proofs with monotone cuts (Q2888631) (← links)
- Sorting with Complete Networks of Stacks (Q3597888) (← links)
- Expander Construction in VNC1 (Q4638081) (← links)