Pages that link to "Item:Q5055954"

The following pages link to On an optimal quantified propositional proof system nal proof system and a complete language for NP ∩ co-NP for NP ∩ co-NP (Q5055954):

Displaying 2 items.

• Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
• Optimal proof systems imply complete sets for promise classes (Q1398371) (← links)