The following pages link to Sebastian Müller (Q553296):
Displayed 7 items.
- Proof systems that take advice (Q553297) (← links)
- A tight Karp-Lipton collapse result in bounded arithmetic (Q2946610) (← links)
- A Tight Karp-Lipton Collapse Result in Bounded Arithmetic (Q3540180) (← links)
- Different Approaches to Proof Systems (Q3569063) (← links)
- Nondeterministic Instance Complexity and Proof Systems with Advice (Q3618578) (← links)
- Does Advice Help to Prove Propositional Tautologies? (Q3637158) (← links)
- Polylogarithmic Cuts in Models of V^0 (Q4913779) (← links)