The following pages link to (Q4395611):
Displaying 4 items.
- Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580) (← links)
- Some consequences of cryptographical conjectures for \(S_2^1\) and EF (Q1383164) (← links)
- On the automatizability of resolution and related propositional proof systems (Q1881219) (← links)
- Interpolation by a Game (Q4224078) (← links)
