Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996110613> ?p ?o ?g. }
- W1996110613 endingPage "3855" @default.
- W1996110613 startingPage "3839" @default.
- W1996110613 abstract "We provide new characterizations of two previously studied questions on nondeterministic function classes: Q1: Do nondeterministic functions admit efficient deterministic refinements? Q2: Do nondeterministic function classes contain complete functions? An alternative view on nondeterministic functions is provided by disjoint sets and tuples. We pursue this approach for disjoint NP-pairs and its generalizations to tuples of sets from NP and coNP with disjointness conditions of varying strength. In this way, we obtain new characterizations of Q2 for the class NPSV. Question Q1 for NPSV is equivalent to the question of whether every disjoint NP-pair is easy to separate. In addition, we characterize this problem by the question of whether every propositional proof system has the effective interpolation property. Again, these interpolation properties are intimately connected to disjoint NP-pairs, and we show how different interpolation properties can be modeled by NP-pairs associated with the underlying proof system." @default.
- W1996110613 created "2016-06-24" @default.
- W1996110613 creator A5042128349 @default.
- W1996110613 creator A5049298979 @default.
- W1996110613 creator A5032733958 @default.
- W1996110613 date "2009-09-01" @default.
- W1996110613 modified "2023-10-02" @default.
- W1996110613 title "Nondeterministic functions and the existence of optimal proof systems" @default.
- W1996110613 cites W1649430738 @default.
- W1996110613 cites W1974647909 @default.
- W1996110613 cites W1979054927 @default.
- W1996110613 cites W1982785829 @default.
- W1996110613 cites W1987520994 @default.
- W1996110613 cites W1988083342 @default.
- W1996110613 cites W1992720234 @default.
- W1996110613 cites W1992972561 @default.
- W1996110613 cites W1999069928 @default.
- W1996110613 cites W1999473833 @default.
- W1996110613 cites W2008138636 @default.
- W1996110613 cites W2008999657 @default.
- W1996110613 cites W2012476164 @default.
- W1996110613 cites W2026916148 @default.
- W1996110613 cites W2033152671 @default.
- W1996110613 cites W2044095368 @default.
- W1996110613 cites W2044504659 @default.
- W1996110613 cites W2044632231 @default.
- W1996110613 cites W2044637393 @default.
- W1996110613 cites W2052403496 @default.
- W1996110613 cites W2054160479 @default.
- W1996110613 cites W2068363706 @default.
- W1996110613 cites W2070323038 @default.
- W1996110613 cites W2072181151 @default.
- W1996110613 cites W2080818057 @default.
- W1996110613 cites W2081065305 @default.
- W1996110613 cites W2084342799 @default.
- W1996110613 cites W2084732248 @default.
- W1996110613 cites W2085634981 @default.
- W1996110613 cites W2088113355 @default.
- W1996110613 cites W2091348237 @default.
- W1996110613 cites W2093869254 @default.
- W1996110613 cites W2103517359 @default.
- W1996110613 cites W2114427270 @default.
- W1996110613 cites W2114633883 @default.
- W1996110613 cites W2134646730 @default.
- W1996110613 cites W2158029166 @default.
- W1996110613 cites W2171353564 @default.
- W1996110613 cites W2385171024 @default.
- W1996110613 cites W3014805183 @default.
- W1996110613 doi "https://doi.org/10.1016/j.tcs.2009.05.021" @default.
- W1996110613 hasPublicationYear "2009" @default.
- W1996110613 type Work @default.
- W1996110613 sameAs 1996110613 @default.
- W1996110613 citedByCount "39" @default.
- W1996110613 countsByYear W19961106132013 @default.
- W1996110613 countsByYear W19961106132014 @default.
- W1996110613 countsByYear W19961106132015 @default.
- W1996110613 countsByYear W19961106132016 @default.
- W1996110613 countsByYear W19961106132017 @default.
- W1996110613 countsByYear W19961106132019 @default.
- W1996110613 countsByYear W19961106132020 @default.
- W1996110613 crossrefType "journal-article" @default.
- W1996110613 hasAuthorship W1996110613A5032733958 @default.
- W1996110613 hasAuthorship W1996110613A5042128349 @default.
- W1996110613 hasAuthorship W1996110613A5049298979 @default.
- W1996110613 hasBestOaLocation W19961106132 @default.
- W1996110613 hasConcept C104114177 @default.
- W1996110613 hasConcept C114614502 @default.
- W1996110613 hasConcept C118615104 @default.
- W1996110613 hasConcept C118930307 @default.
- W1996110613 hasConcept C137800194 @default.
- W1996110613 hasConcept C14036430 @default.
- W1996110613 hasConcept C154945302 @default.
- W1996110613 hasConcept C176181172 @default.
- W1996110613 hasConcept C2777212361 @default.
- W1996110613 hasConcept C33923547 @default.
- W1996110613 hasConcept C41008148 @default.
- W1996110613 hasConcept C45340560 @default.
- W1996110613 hasConcept C78458016 @default.
- W1996110613 hasConcept C86803240 @default.
- W1996110613 hasConceptScore W1996110613C104114177 @default.
- W1996110613 hasConceptScore W1996110613C114614502 @default.
- W1996110613 hasConceptScore W1996110613C118615104 @default.
- W1996110613 hasConceptScore W1996110613C118930307 @default.
- W1996110613 hasConceptScore W1996110613C137800194 @default.
- W1996110613 hasConceptScore W1996110613C14036430 @default.
- W1996110613 hasConceptScore W1996110613C154945302 @default.
- W1996110613 hasConceptScore W1996110613C176181172 @default.
- W1996110613 hasConceptScore W1996110613C2777212361 @default.
- W1996110613 hasConceptScore W1996110613C33923547 @default.
- W1996110613 hasConceptScore W1996110613C41008148 @default.
- W1996110613 hasConceptScore W1996110613C45340560 @default.
- W1996110613 hasConceptScore W1996110613C78458016 @default.
- W1996110613 hasConceptScore W1996110613C86803240 @default.
- W1996110613 hasIssue "38-40" @default.
- W1996110613 hasLocation W19961106131 @default.
- W1996110613 hasLocation W19961106132 @default.
- W1996110613 hasLocation W19961106133 @default.
- W1996110613 hasLocation W19961106134 @default.