Pages that link to "Item:Q929286"
From MaRDI portal
The following pages link to Tuples of disjoint \(\mathsf{NP}\)-sets (Q929286):
Displaying 4 items.
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- The deduction theorem for strong propositional proof systems (Q987382) (← links)
- Total nondeterministic Turing machines and a p-optimal proof system for SAT (Q2011675) (← links)
- Do there exist complete sets for promise classes? (Q3107337) (← links)
