Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134900828> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2134900828 endingPage "1246" @default.
- W2134900828 startingPage "1224" @default.
- W2134900828 abstract "Abstract We study the expressive power of independence-friendly quantifier prefixes composed of universal $left( {forall x/X} right)$ , existential $left( {exists x/X} right)$ , and majority quantifiers $left( {Mx/X} right)$ . We provide four quantifier prefixes that can express NP hard properties and show that all quantifier prefixes capable of expressing NP-hard properties embed at least one of these four quantifier prefixes. As for the quantifier prefixes that do not embed any of these four quantifier prefixes, we show that they are equivalent to a first-order quantifier prefix composed of $forall x$ , $exists x$ , and M x . In unison, our results imply a dichotomy result: every independence-friendly quantifier prefix is either decidable in LOGSPACE or NP hard." @default.
- W2134900828 created "2016-06-24" @default.
- W2134900828 creator A5038637017 @default.
- W2134900828 date "2014-12-01" @default.
- W2134900828 modified "2023-10-18" @default.
- W2134900828 title "DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS" @default.
- W2134900828 cites W1971185370 @default.
- W2134900828 cites W1977394840 @default.
- W2134900828 cites W1988735961 @default.
- W2134900828 cites W1990514682 @default.
- W2134900828 cites W2052936500 @default.
- W2134900828 cites W2055288944 @default.
- W2134900828 cites W2083018613 @default.
- W2134900828 cites W2168555998 @default.
- W2134900828 cites W3022537480 @default.
- W2134900828 cites W3102477048 @default.
- W2134900828 cites W4231177325 @default.
- W2134900828 cites W4236835455 @default.
- W2134900828 cites W610780676 @default.
- W2134900828 cites W2963573678 @default.
- W2134900828 doi "https://doi.org/10.1017/jsl.2013.30" @default.
- W2134900828 hasPublicationYear "2014" @default.
- W2134900828 type Work @default.
- W2134900828 sameAs 2134900828 @default.
- W2134900828 citedByCount "9" @default.
- W2134900828 countsByYear W21349008282015 @default.
- W2134900828 countsByYear W21349008282016 @default.
- W2134900828 countsByYear W21349008282017 @default.
- W2134900828 countsByYear W21349008282019 @default.
- W2134900828 countsByYear W21349008282021 @default.
- W2134900828 crossrefType "journal-article" @default.
- W2134900828 hasAuthorship W2134900828A5038637017 @default.
- W2134900828 hasConcept C10138342 @default.
- W2134900828 hasConcept C105795698 @default.
- W2134900828 hasConcept C114614502 @default.
- W2134900828 hasConcept C118615104 @default.
- W2134900828 hasConcept C136979486 @default.
- W2134900828 hasConcept C138885662 @default.
- W2134900828 hasConcept C141603448 @default.
- W2134900828 hasConcept C153269930 @default.
- W2134900828 hasConcept C154945302 @default.
- W2134900828 hasConcept C162324750 @default.
- W2134900828 hasConcept C182306322 @default.
- W2134900828 hasConcept C2778523021 @default.
- W2134900828 hasConcept C32278780 @default.
- W2134900828 hasConcept C33923547 @default.
- W2134900828 hasConcept C35651441 @default.
- W2134900828 hasConcept C41008148 @default.
- W2134900828 hasConcept C41895202 @default.
- W2134900828 hasConceptScore W2134900828C10138342 @default.
- W2134900828 hasConceptScore W2134900828C105795698 @default.
- W2134900828 hasConceptScore W2134900828C114614502 @default.
- W2134900828 hasConceptScore W2134900828C118615104 @default.
- W2134900828 hasConceptScore W2134900828C136979486 @default.
- W2134900828 hasConceptScore W2134900828C138885662 @default.
- W2134900828 hasConceptScore W2134900828C141603448 @default.
- W2134900828 hasConceptScore W2134900828C153269930 @default.
- W2134900828 hasConceptScore W2134900828C154945302 @default.
- W2134900828 hasConceptScore W2134900828C162324750 @default.
- W2134900828 hasConceptScore W2134900828C182306322 @default.
- W2134900828 hasConceptScore W2134900828C2778523021 @default.
- W2134900828 hasConceptScore W2134900828C32278780 @default.
- W2134900828 hasConceptScore W2134900828C33923547 @default.
- W2134900828 hasConceptScore W2134900828C35651441 @default.
- W2134900828 hasConceptScore W2134900828C41008148 @default.
- W2134900828 hasConceptScore W2134900828C41895202 @default.
- W2134900828 hasIssue "4" @default.
- W2134900828 hasLocation W21349008281 @default.
- W2134900828 hasOpenAccess W2134900828 @default.
- W2134900828 hasPrimaryLocation W21349008281 @default.
- W2134900828 hasRelatedWork W145105541 @default.
- W2134900828 hasRelatedWork W2007102962 @default.
- W2134900828 hasRelatedWork W2134900828 @default.
- W2134900828 hasRelatedWork W2803425303 @default.
- W2134900828 hasRelatedWork W3135280923 @default.
- W2134900828 hasRelatedWork W3154348966 @default.
- W2134900828 hasRelatedWork W4200249780 @default.
- W2134900828 hasRelatedWork W4225979384 @default.
- W2134900828 hasRelatedWork W4229857370 @default.
- W2134900828 hasRelatedWork W2106972807 @default.
- W2134900828 hasVolume "79" @default.
- W2134900828 isParatext "false" @default.
- W2134900828 isRetracted "false" @default.
- W2134900828 magId "2134900828" @default.
- W2134900828 workType "article" @default.