Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128514044> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2128514044 endingPage "282" @default.
- W2128514044 startingPage "266" @default.
- W2128514044 abstract "This article extends the work laid down by Medina and Immerman for the syntactic characterization of complete problems via first-order projections. Our first contribution is a general canonical form for the sentences that characterize complete problems. This canonical form works for a wide collection of complexity classes, including L, NL, P, NP and PSPACE, which can be given in terms of any complete problem in the class and generalizes the canonical form for NP given by Medina and Immerman. Our second contribution is the definition of a new class of syntactic operators that can be used to show the completeness of a problem by purely syntactic means. We prove basic properties of the operators including the fact that any complete problem can be shown to be complete using such operators. The practical relevance of the operators is illustrated in a number of applications which includes new completeness results, and also the application of operators at problems at the second level of the polynomial-time hierarchy. In both contributions, duals of first-order projections play a major role. Thus, our results show that such duals are in fact very powerful syntactic tools in the field." @default.
- W2128514044 created "2016-06-24" @default.
- W2128514044 creator A5010562834 @default.
- W2128514044 creator A5012094685 @default.
- W2128514044 date "2011-10-03" @default.
- W2128514044 modified "2023-09-27" @default.
- W2128514044 title "Syntactic characterizations of completeness using duals and operators" @default.
- W2128514044 cites W2043438634 @default.
- W2128514044 cites W2125015388 @default.
- W2128514044 doi "https://doi.org/10.1093/jigpal/jzr035" @default.
- W2128514044 hasPublicationYear "2011" @default.
- W2128514044 type Work @default.
- W2128514044 sameAs 2128514044 @default.
- W2128514044 citedByCount "2" @default.
- W2128514044 countsByYear W21285140442014 @default.
- W2128514044 countsByYear W21285140442017 @default.
- W2128514044 crossrefType "journal-article" @default.
- W2128514044 hasAuthorship W2128514044A5010562834 @default.
- W2128514044 hasAuthorship W2128514044A5012094685 @default.
- W2128514044 hasConcept C105313907 @default.
- W2128514044 hasConcept C118615104 @default.
- W2128514044 hasConcept C134306372 @default.
- W2128514044 hasConcept C136119220 @default.
- W2128514044 hasConcept C154945302 @default.
- W2128514044 hasConcept C162324750 @default.
- W2128514044 hasConcept C171250308 @default.
- W2128514044 hasConcept C17231256 @default.
- W2128514044 hasConcept C192562407 @default.
- W2128514044 hasConcept C202444582 @default.
- W2128514044 hasConcept C2777212361 @default.
- W2128514044 hasConcept C2780841128 @default.
- W2128514044 hasConcept C31170391 @default.
- W2128514044 hasConcept C33923547 @default.
- W2128514044 hasConcept C34447519 @default.
- W2128514044 hasConcept C41008148 @default.
- W2128514044 hasConcept C9652623 @default.
- W2128514044 hasConceptScore W2128514044C105313907 @default.
- W2128514044 hasConceptScore W2128514044C118615104 @default.
- W2128514044 hasConceptScore W2128514044C134306372 @default.
- W2128514044 hasConceptScore W2128514044C136119220 @default.
- W2128514044 hasConceptScore W2128514044C154945302 @default.
- W2128514044 hasConceptScore W2128514044C162324750 @default.
- W2128514044 hasConceptScore W2128514044C171250308 @default.
- W2128514044 hasConceptScore W2128514044C17231256 @default.
- W2128514044 hasConceptScore W2128514044C192562407 @default.
- W2128514044 hasConceptScore W2128514044C202444582 @default.
- W2128514044 hasConceptScore W2128514044C2777212361 @default.
- W2128514044 hasConceptScore W2128514044C2780841128 @default.
- W2128514044 hasConceptScore W2128514044C31170391 @default.
- W2128514044 hasConceptScore W2128514044C33923547 @default.
- W2128514044 hasConceptScore W2128514044C34447519 @default.
- W2128514044 hasConceptScore W2128514044C41008148 @default.
- W2128514044 hasConceptScore W2128514044C9652623 @default.
- W2128514044 hasIssue "1" @default.
- W2128514044 hasLocation W21285140441 @default.
- W2128514044 hasOpenAccess W2128514044 @default.
- W2128514044 hasPrimaryLocation W21285140441 @default.
- W2128514044 hasRelatedWork W200291468 @default.
- W2128514044 hasRelatedWork W2035506078 @default.
- W2128514044 hasRelatedWork W2035991160 @default.
- W2128514044 hasRelatedWork W2054394744 @default.
- W2128514044 hasRelatedWork W2061618756 @default.
- W2128514044 hasRelatedWork W2261992841 @default.
- W2128514044 hasRelatedWork W2948732770 @default.
- W2128514044 hasRelatedWork W4249312462 @default.
- W2128514044 hasRelatedWork W42931805 @default.
- W2128514044 hasRelatedWork W4308162032 @default.
- W2128514044 hasVolume "20" @default.
- W2128514044 isParatext "false" @default.
- W2128514044 isRetracted "false" @default.
- W2128514044 magId "2128514044" @default.
- W2128514044 workType "article" @default.