Pages that link to "Item:Q2817631"
From MaRDI portal
The following pages link to The independence of the modulo <i>p</i> counting principles (Q2817631):
Displaying 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)