The following pages link to (Q3789557):
Displaying 8 items.
- Algorithm analysis through proof complexity (Q1670749) (← links)
- Hardness assumptions in the foundations of theoretical computer science (Q2388429) (← links)
- Computational Complexity Via Finite Types (Q2946764) (← links)
- (Q3136460) (← links)
- Proof Complexity and the Kneser-Lovász Theorem (Q3192060) (← links)
- (Q4671210) (← links)
- (Q5694881) (← links)
- (Q5694913) (← links)