Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567771348> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1567771348 endingPage "175" @default.
- W1567771348 startingPage "164" @default.
- W1567771348 abstract "Motivated by strong Karp-Lipton collapse results in bounded arithmetic, Cook and Krajíček [1] have recently introduced the notion of propositional proof systems with advice. In this paper we investigate the following question: Given a language L , do there exist polynomially bounded proof systems with advice for L ? Depending on the complexity of the underlying language L and the amount and type of the advice used by the proof system, we obtain different characterizations for this problem. In particular, we show that the above question is tightly linked with the question whether L has small nondeterministic instance complexity." @default.
- W1567771348 created "2016-06-24" @default.
- W1567771348 creator A5042128349 @default.
- W1567771348 creator A5049298979 @default.
- W1567771348 creator A5057581659 @default.
- W1567771348 date "2009-01-01" @default.
- W1567771348 modified "2023-09-27" @default.
- W1567771348 title "Nondeterministic Instance Complexity and Proof Systems with Advice" @default.
- W1567771348 cites W1503766551 @default.
- W1567771348 cites W1953985671 @default.
- W1567771348 cites W1988083342 @default.
- W1567771348 cites W1996192734 @default.
- W1567771348 cites W2011465227 @default.
- W1567771348 cites W2087012565 @default.
- W1567771348 cites W2162793786 @default.
- W1567771348 cites W2171353564 @default.
- W1567771348 cites W2293341947 @default.
- W1567771348 doi "https://doi.org/10.1007/978-3-642-00982-2_14" @default.
- W1567771348 hasPublicationYear "2009" @default.
- W1567771348 type Work @default.
- W1567771348 sameAs 1567771348 @default.
- W1567771348 citedByCount "6" @default.
- W1567771348 countsByYear W15677713482013 @default.
- W1567771348 crossrefType "book-chapter" @default.
- W1567771348 hasAuthorship W1567771348A5042128349 @default.
- W1567771348 hasAuthorship W1567771348A5049298979 @default.
- W1567771348 hasAuthorship W1567771348A5057581659 @default.
- W1567771348 hasBestOaLocation W15677713482 @default.
- W1567771348 hasConcept C105605280 @default.
- W1567771348 hasConcept C108710211 @default.
- W1567771348 hasConcept C118615104 @default.
- W1567771348 hasConcept C134306372 @default.
- W1567771348 hasConcept C176181172 @default.
- W1567771348 hasConcept C199360897 @default.
- W1567771348 hasConcept C2524010 @default.
- W1567771348 hasConcept C2779955035 @default.
- W1567771348 hasConcept C33923547 @default.
- W1567771348 hasConcept C34388435 @default.
- W1567771348 hasConcept C41008148 @default.
- W1567771348 hasConcept C80444323 @default.
- W1567771348 hasConceptScore W1567771348C105605280 @default.
- W1567771348 hasConceptScore W1567771348C108710211 @default.
- W1567771348 hasConceptScore W1567771348C118615104 @default.
- W1567771348 hasConceptScore W1567771348C134306372 @default.
- W1567771348 hasConceptScore W1567771348C176181172 @default.
- W1567771348 hasConceptScore W1567771348C199360897 @default.
- W1567771348 hasConceptScore W1567771348C2524010 @default.
- W1567771348 hasConceptScore W1567771348C2779955035 @default.
- W1567771348 hasConceptScore W1567771348C33923547 @default.
- W1567771348 hasConceptScore W1567771348C34388435 @default.
- W1567771348 hasConceptScore W1567771348C41008148 @default.
- W1567771348 hasConceptScore W1567771348C80444323 @default.
- W1567771348 hasLocation W15677713481 @default.
- W1567771348 hasLocation W15677713482 @default.
- W1567771348 hasLocation W15677713483 @default.
- W1567771348 hasOpenAccess W1567771348 @default.
- W1567771348 hasPrimaryLocation W15677713481 @default.
- W1567771348 hasRelatedWork W1567771348 @default.
- W1567771348 hasRelatedWork W1606810574 @default.
- W1567771348 hasRelatedWork W179320383 @default.
- W1567771348 hasRelatedWork W2006558104 @default.
- W1567771348 hasRelatedWork W2059785423 @default.
- W1567771348 hasRelatedWork W2067416548 @default.
- W1567771348 hasRelatedWork W2406672540 @default.
- W1567771348 hasRelatedWork W2479035751 @default.
- W1567771348 hasRelatedWork W259173433 @default.
- W1567771348 hasRelatedWork W2943141815 @default.
- W1567771348 isParatext "false" @default.
- W1567771348 isRetracted "false" @default.
- W1567771348 magId "1567771348" @default.
- W1567771348 workType "book-chapter" @default.