Pages that link to "Item:Q5492875"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2005 (Q5492875):
Displaying 10 items.
- Canonical disjoint NP-pairs of propositional proof systems (Q868942) (← links)
- Classes of representable disjoint \textsf{NP}-pairs (Q884465) (← links)
- The deduction theorem for strong propositional proof systems (Q987382) (← links)
- On reducibility and symmetry of disjoint NP pairs. (Q1401249) (← links)
- Proof system representations of degrees of disjoint NP-pairs (Q1944897) (← links)
- The canonical pairs of bounded depth Frege systems (Q2216035) (← links)
- Inseparability and Strong Hypotheses for Disjoint NP Pairs. (Q3113766) (← links)
- Tuples of Disjoint NP-Sets (Q3434684) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465846) (← links)
- Theory and Applications of Models of Computation (Q5898879) (← links)