Pages that link to "Item:Q2784495"
From MaRDI portal
The following pages link to Lattice embeddings for abstract bounded reducibilities (Q2784495):
Displaying 5 items.
- Canonical disjoint NP-pairs of propositional proof systems (Q868942) (← links)
- Set-theoretic reducibilities with respect to a lattice of sets (Q1022226) (← links)
- Structural properties of bounded relations with an application to NP optimization problems (Q1589424) (← links)
- Polynomial space hardness without disjunction property (Q1935776) (← links)
- The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (Q1959491) (← links)