Matches in SemOpenAlex for { <https://semopenalex.org/work/W2592241421> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2592241421 endingPage "1125" @default.
- W2592241421 startingPage "1093" @default.
- W2592241421 abstract "Abstract This paper is motivated by the question whether there exists a logic capturing polynomial time computation over unordered structures. We consider several algorithmic problems near the border of the known, logically defined complexity classes contained in polynomial time. We show that fixpoint logic plus counting is stronger than might be expected, in that it can express the existence of a complete matching in a bipartite graph. We revisit the known examples that separate polynomial time from fixpoint plus counting. We show that the examples in a paper of Cai, Fürer, and Immerman, when suitably padded, are in choiceless polynomial time yet not in fixpoint plus counting. Without padding, they remain in polynomial time but appear not to be in choiceless polynomial time plus counting. Similar results hold for the multipede examples of Gurevich and Shelah, except that their final version of multipedes is, in a sense, already suitably padded. Finally, we describe another possible candidate, involving determinants, for the task of separating polynomial time from choiceless polynomial time plus counting." @default.
- W2592241421 created "2017-03-16" @default.
- W2592241421 creator A5024923217 @default.
- W2592241421 creator A5043571692 @default.
- W2592241421 creator A5065430432 @default.
- W2592241421 date "2002-09-01" @default.
- W2592241421 modified "2023-10-01" @default.
- W2592241421 title "On polynomial time computation over unordered structures" @default.
- W2592241421 cites W149380172 @default.
- W2592241421 cites W1966941526 @default.
- W2592241421 cites W1984890936 @default.
- W2592241421 cites W1997198079 @default.
- W2592241421 cites W2045916776 @default.
- W2592241421 cites W2083343164 @default.
- W2592241421 cites W2088094394 @default.
- W2592241421 cites W2117313088 @default.
- W2592241421 cites W2181072414 @default.
- W2592241421 cites W4210731599 @default.
- W2592241421 doi "https://doi.org/10.2178/jsl/1190150152" @default.
- W2592241421 hasPublicationYear "2002" @default.
- W2592241421 type Work @default.
- W2592241421 sameAs 2592241421 @default.
- W2592241421 citedByCount "62" @default.
- W2592241421 countsByYear W25922414212012 @default.
- W2592241421 countsByYear W25922414212013 @default.
- W2592241421 countsByYear W25922414212014 @default.
- W2592241421 countsByYear W25922414212015 @default.
- W2592241421 countsByYear W25922414212016 @default.
- W2592241421 countsByYear W25922414212017 @default.
- W2592241421 countsByYear W25922414212018 @default.
- W2592241421 countsByYear W25922414212019 @default.
- W2592241421 countsByYear W25922414212020 @default.
- W2592241421 countsByYear W25922414212021 @default.
- W2592241421 countsByYear W25922414212022 @default.
- W2592241421 countsByYear W25922414212023 @default.
- W2592241421 crossrefType "journal-article" @default.
- W2592241421 hasAuthorship W2592241421A5024923217 @default.
- W2592241421 hasAuthorship W2592241421A5043571692 @default.
- W2592241421 hasAuthorship W2592241421A5065430432 @default.
- W2592241421 hasBestOaLocation W25922414212 @default.
- W2592241421 hasConcept C101044782 @default.
- W2592241421 hasConcept C101525915 @default.
- W2592241421 hasConcept C105795698 @default.
- W2592241421 hasConcept C11413529 @default.
- W2592241421 hasConcept C114614502 @default.
- W2592241421 hasConcept C118615104 @default.
- W2592241421 hasConcept C132525143 @default.
- W2592241421 hasConcept C134306372 @default.
- W2592241421 hasConcept C165064840 @default.
- W2592241421 hasConcept C16592021 @default.
- W2592241421 hasConcept C170412648 @default.
- W2592241421 hasConcept C197657726 @default.
- W2592241421 hasConcept C311688 @default.
- W2592241421 hasConcept C33923547 @default.
- W2592241421 hasConcept C45374587 @default.
- W2592241421 hasConcept C90119067 @default.
- W2592241421 hasConceptScore W2592241421C101044782 @default.
- W2592241421 hasConceptScore W2592241421C101525915 @default.
- W2592241421 hasConceptScore W2592241421C105795698 @default.
- W2592241421 hasConceptScore W2592241421C11413529 @default.
- W2592241421 hasConceptScore W2592241421C114614502 @default.
- W2592241421 hasConceptScore W2592241421C118615104 @default.
- W2592241421 hasConceptScore W2592241421C132525143 @default.
- W2592241421 hasConceptScore W2592241421C134306372 @default.
- W2592241421 hasConceptScore W2592241421C165064840 @default.
- W2592241421 hasConceptScore W2592241421C16592021 @default.
- W2592241421 hasConceptScore W2592241421C170412648 @default.
- W2592241421 hasConceptScore W2592241421C197657726 @default.
- W2592241421 hasConceptScore W2592241421C311688 @default.
- W2592241421 hasConceptScore W2592241421C33923547 @default.
- W2592241421 hasConceptScore W2592241421C45374587 @default.
- W2592241421 hasConceptScore W2592241421C90119067 @default.
- W2592241421 hasIssue "3" @default.
- W2592241421 hasLocation W25922414211 @default.
- W2592241421 hasLocation W25922414212 @default.
- W2592241421 hasOpenAccess W2592241421 @default.
- W2592241421 hasPrimaryLocation W25922414211 @default.
- W2592241421 hasRelatedWork W148891984 @default.
- W2592241421 hasRelatedWork W1518546215 @default.
- W2592241421 hasRelatedWork W1543706171 @default.
- W2592241421 hasRelatedWork W1964170686 @default.
- W2592241421 hasRelatedWork W2221056095 @default.
- W2592241421 hasRelatedWork W2592241421 @default.
- W2592241421 hasRelatedWork W2955084533 @default.
- W2592241421 hasRelatedWork W3005925191 @default.
- W2592241421 hasRelatedWork W4221160330 @default.
- W2592241421 hasRelatedWork W4320022211 @default.
- W2592241421 hasVolume "67" @default.
- W2592241421 isParatext "false" @default.
- W2592241421 isRetracted "false" @default.
- W2592241421 magId "2592241421" @default.
- W2592241421 workType "article" @default.