Pages that link to "Item:Q4829363"
From MaRDI portal
The following pages link to Diagonalization in proof complexity (Q4829363):
Displayed 4 items.
- Substitutions into propositional tautologies (Q845921) (← links)
- On meta complexity of propositional formulas and propositional proofs (Q937212) (← links)
- ON THE PROOF COMPLEXITY OF THE NISAN–WIGDERSON GENERATOR BASED ON A HARD <font>NP</font> ∩ <font>coNP</font> FUNCTION (Q3094358) (← links)
- Nisan-Wigderson generators in proof systems with forms of interpolation (Q3170558) (← links)