Matches in SemOpenAlex for { <https://semopenalex.org/work/W2402912250> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2402912250 startingPage "79" @default.
- W2402912250 abstract "In this paper we initiate the study of proof systems where verification of proofs proceeds by NC0 circuits. We investigate the question which languages admit proof systems in this very restricted model. Formulated alternatively, we ask which languages can be enumerated by NC0 functions. Our results show that the answer to this problem is not determined by the complexity of the language. On the one hand, we construct NC0 proof systems for a variety of languages ranging from regular to NP complete. On the other hand, we show by combinatorial methods that even easy regular languages such as Exact-OR do not admit NC0 proof systems. We also show that Majority does not admit NC0 proof systems. Finally, we present a general construction of NC0 proof systems for regular languages with strongly connected NFA's." @default.
- W2402912250 created "2016-06-24" @default.
- W2402912250 creator A5008982209 @default.
- W2402912250 creator A5011977613 @default.
- W2402912250 creator A5020709378 @default.
- W2402912250 creator A5042128349 @default.
- W2402912250 creator A5053184300 @default.
- W2402912250 creator A5055589477 @default.
- W2402912250 creator A5056318386 @default.
- W2402912250 creator A5081736632 @default.
- W2402912250 date "2012-01-01" @default.
- W2402912250 modified "2023-09-27" @default.
- W2402912250 title "Verifying Proofs in Constant Depth." @default.
- W2402912250 hasPublicationYear "2012" @default.
- W2402912250 type Work @default.
- W2402912250 sameAs 2402912250 @default.
- W2402912250 citedByCount "0" @default.
- W2402912250 crossrefType "journal-article" @default.
- W2402912250 hasAuthorship W2402912250A5008982209 @default.
- W2402912250 hasAuthorship W2402912250A5011977613 @default.
- W2402912250 hasAuthorship W2402912250A5020709378 @default.
- W2402912250 hasAuthorship W2402912250A5042128349 @default.
- W2402912250 hasAuthorship W2402912250A5053184300 @default.
- W2402912250 hasAuthorship W2402912250A5055589477 @default.
- W2402912250 hasAuthorship W2402912250A5056318386 @default.
- W2402912250 hasAuthorship W2402912250A5081736632 @default.
- W2402912250 hasConcept C105605280 @default.
- W2402912250 hasConcept C108710211 @default.
- W2402912250 hasConcept C112505250 @default.
- W2402912250 hasConcept C118539577 @default.
- W2402912250 hasConcept C118615104 @default.
- W2402912250 hasConcept C135754263 @default.
- W2402912250 hasConcept C136197465 @default.
- W2402912250 hasConcept C154945302 @default.
- W2402912250 hasConcept C173613240 @default.
- W2402912250 hasConcept C195653647 @default.
- W2402912250 hasConcept C199360897 @default.
- W2402912250 hasConcept C2318724 @default.
- W2402912250 hasConcept C2524010 @default.
- W2402912250 hasConcept C2777027219 @default.
- W2402912250 hasConcept C2780801425 @default.
- W2402912250 hasConcept C33923547 @default.
- W2402912250 hasConcept C41008148 @default.
- W2402912250 hasConcept C52370388 @default.
- W2402912250 hasConcept C80444323 @default.
- W2402912250 hasConceptScore W2402912250C105605280 @default.
- W2402912250 hasConceptScore W2402912250C108710211 @default.
- W2402912250 hasConceptScore W2402912250C112505250 @default.
- W2402912250 hasConceptScore W2402912250C118539577 @default.
- W2402912250 hasConceptScore W2402912250C118615104 @default.
- W2402912250 hasConceptScore W2402912250C135754263 @default.
- W2402912250 hasConceptScore W2402912250C136197465 @default.
- W2402912250 hasConceptScore W2402912250C154945302 @default.
- W2402912250 hasConceptScore W2402912250C173613240 @default.
- W2402912250 hasConceptScore W2402912250C195653647 @default.
- W2402912250 hasConceptScore W2402912250C199360897 @default.
- W2402912250 hasConceptScore W2402912250C2318724 @default.
- W2402912250 hasConceptScore W2402912250C2524010 @default.
- W2402912250 hasConceptScore W2402912250C2777027219 @default.
- W2402912250 hasConceptScore W2402912250C2780801425 @default.
- W2402912250 hasConceptScore W2402912250C33923547 @default.
- W2402912250 hasConceptScore W2402912250C41008148 @default.
- W2402912250 hasConceptScore W2402912250C52370388 @default.
- W2402912250 hasConceptScore W2402912250C80444323 @default.
- W2402912250 hasOpenAccess W2402912250 @default.
- W2402912250 hasRelatedWork W1491975900 @default.
- W2402912250 hasRelatedWork W1533271350 @default.
- W2402912250 hasRelatedWork W1567771348 @default.
- W2402912250 hasRelatedWork W1610564136 @default.
- W2402912250 hasRelatedWork W1776819099 @default.
- W2402912250 hasRelatedWork W1817813502 @default.
- W2402912250 hasRelatedWork W1987890787 @default.
- W2402912250 hasRelatedWork W2011112377 @default.
- W2402912250 hasRelatedWork W2059785423 @default.
- W2402912250 hasRelatedWork W2091961944 @default.
- W2402912250 hasRelatedWork W2107085687 @default.
- W2402912250 hasRelatedWork W2144752539 @default.
- W2402912250 hasRelatedWork W2264390715 @default.
- W2402912250 hasRelatedWork W2461509449 @default.
- W2402912250 hasRelatedWork W259173433 @default.
- W2402912250 hasRelatedWork W2741628291 @default.
- W2402912250 hasRelatedWork W2899382568 @default.
- W2402912250 hasRelatedWork W2951046429 @default.
- W2402912250 hasRelatedWork W3038418987 @default.
- W2402912250 hasRelatedWork W3087976720 @default.
- W2402912250 hasVolume "19" @default.
- W2402912250 isParatext "false" @default.
- W2402912250 isRetracted "false" @default.
- W2402912250 magId "2402912250" @default.
- W2402912250 workType "article" @default.