Pages that link to "Item:Q2817631"

The following pages link to The independence of the modulo <i>p</i> counting principles (Q2817631):

Displayed 8 items.

• Towards NP-P via proof complexity and search (Q408544) ‎ (← links)
• Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580) ‎ (← links)
• \(\text{Count}(q)\) does not imply \(\text{Count}(p)\) (Q1377601) ‎ (← links)
• Polynomial-size Frege and resolution proofs of \(st\)-connectivity and Hex tautologies (Q2500481) ‎ (← links)
• A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝] Frege systems (Q2944868) ‎ (← links)
• Forcing in Finite Structures (Q4351930) ‎ (← links)
• (Q5227514) ‎ (← links)
• Uniformly generated submodules of permutation modules over fields of characteristic 0. (Q5939910) ‎ (← links)