Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108974758> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2108974758 abstract "We investigate the class of disjoint NP-pairs under different reductions. The structure of this class is intimately linked to the simulation order of propositional proof systems, and we make use of the relationship between propositional proof systems and theories of bounded arithmetic as the main tool of our analysis. Specifically we exhibit a pair which is complete under strong reductions for all disjoint NP-pairs representable in a theory. We use these pairs to explain the simulation order of NP-pairs under these reductions. As corollaries we also get simplified proofs of results obtained earlier in [3] and [5]." @default.
- W2108974758 created "2016-06-24" @default.
- W2108974758 creator A5042128349 @default.
- W2108974758 date "2004-01-01" @default.
- W2108974758 modified "2023-09-27" @default.
- W2108974758 title "Representable Disjoint NP-Pairs" @default.
- W2108974758 cites W1567249591 @default.
- W2108974758 cites W1988083342 @default.
- W2108974758 cites W2068363706 @default.
- W2108974758 cites W2080818057 @default.
- W2108974758 cites W2085634981 @default.
- W2108974758 cites W2161149481 @default.
- W2108974758 cites W2385171024 @default.
- W2108974758 cites W2908059907 @default.
- W2108974758 cites W4239243811 @default.
- W2108974758 doi "https://doi.org/10.1007/978-3-540-30538-5_11" @default.
- W2108974758 hasPublicationYear "2004" @default.
- W2108974758 type Work @default.
- W2108974758 sameAs 2108974758 @default.
- W2108974758 citedByCount "7" @default.
- W2108974758 crossrefType "book-chapter" @default.
- W2108974758 hasAuthorship W2108974758A5042128349 @default.
- W2108974758 hasBestOaLocation W21089747582 @default.
- W2108974758 hasConcept C10138342 @default.
- W2108974758 hasConcept C108710211 @default.
- W2108974758 hasConcept C11413529 @default.
- W2108974758 hasConcept C114614502 @default.
- W2108974758 hasConcept C118615104 @default.
- W2108974758 hasConcept C134306372 @default.
- W2108974758 hasConcept C154945302 @default.
- W2108974758 hasConcept C162324750 @default.
- W2108974758 hasConcept C179799912 @default.
- W2108974758 hasConcept C182306322 @default.
- W2108974758 hasConcept C2318724 @default.
- W2108974758 hasConcept C2524010 @default.
- W2108974758 hasConcept C2777212361 @default.
- W2108974758 hasConcept C33923547 @default.
- W2108974758 hasConcept C34388435 @default.
- W2108974758 hasConcept C39637292 @default.
- W2108974758 hasConcept C41008148 @default.
- W2108974758 hasConcept C45340560 @default.
- W2108974758 hasConcept C80444323 @default.
- W2108974758 hasConceptScore W2108974758C10138342 @default.
- W2108974758 hasConceptScore W2108974758C108710211 @default.
- W2108974758 hasConceptScore W2108974758C11413529 @default.
- W2108974758 hasConceptScore W2108974758C114614502 @default.
- W2108974758 hasConceptScore W2108974758C118615104 @default.
- W2108974758 hasConceptScore W2108974758C134306372 @default.
- W2108974758 hasConceptScore W2108974758C154945302 @default.
- W2108974758 hasConceptScore W2108974758C162324750 @default.
- W2108974758 hasConceptScore W2108974758C179799912 @default.
- W2108974758 hasConceptScore W2108974758C182306322 @default.
- W2108974758 hasConceptScore W2108974758C2318724 @default.
- W2108974758 hasConceptScore W2108974758C2524010 @default.
- W2108974758 hasConceptScore W2108974758C2777212361 @default.
- W2108974758 hasConceptScore W2108974758C33923547 @default.
- W2108974758 hasConceptScore W2108974758C34388435 @default.
- W2108974758 hasConceptScore W2108974758C39637292 @default.
- W2108974758 hasConceptScore W2108974758C41008148 @default.
- W2108974758 hasConceptScore W2108974758C45340560 @default.
- W2108974758 hasConceptScore W2108974758C80444323 @default.
- W2108974758 hasLocation W21089747581 @default.
- W2108974758 hasLocation W21089747582 @default.
- W2108974758 hasOpenAccess W2108974758 @default.
- W2108974758 hasPrimaryLocation W21089747581 @default.
- W2108974758 hasRelatedWork W1998402272 @default.
- W2108974758 hasRelatedWork W2017429935 @default.
- W2108974758 hasRelatedWork W2018752139 @default.
- W2108974758 hasRelatedWork W2064428342 @default.
- W2108974758 hasRelatedWork W2157671279 @default.
- W2108974758 hasRelatedWork W2660634814 @default.
- W2108974758 hasRelatedWork W2748952813 @default.
- W2108974758 hasRelatedWork W2963074859 @default.
- W2108974758 hasRelatedWork W3120966598 @default.
- W2108974758 hasRelatedWork W3199619725 @default.
- W2108974758 isParatext "false" @default.
- W2108974758 isRetracted "false" @default.
- W2108974758 magId "2108974758" @default.
- W2108974758 workType "book-chapter" @default.