Matches in SemOpenAlex for { <https://semopenalex.org/work/W1543130152> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W1543130152 endingPage "479" @default.
- W1543130152 startingPage "463" @default.
- W1543130152 abstract "We introduce the notion of a logic capturing a relativized complexity class uniformly by treating both generalized quantifiers and oracles as indeterminates and requiring that the correspondence be uniform. Besides reinterpreting previous results from this point of view, we show that Fixed Point Logic with inflationary fixed points IFPL captures P uniformly, whereas First Order Logic FOL[K1,..., Km] with any number of generalized quantifiers cannot capture uniformly a relativized complexity class which contains NC2. This contrasts the fact that in the non-uniform approach both I FP L and FOL[ATC] capture P." @default.
- W1543130152 created "2016-06-24" @default.
- W1543130152 creator A5068121852 @default.
- W1543130152 creator A5090746300 @default.
- W1543130152 date "1995-01-01" @default.
- W1543130152 modified "2023-10-17" @default.
- W1543130152 title "Logics capturing relativized complexity classes uniformly" @default.
- W1543130152 cites W1524877128 @default.
- W1543130152 cites W1539448119 @default.
- W1543130152 cites W1854307478 @default.
- W1543130152 cites W1967986305 @default.
- W1543130152 cites W1970629906 @default.
- W1543130152 cites W1978001037 @default.
- W1543130152 cites W1989783863 @default.
- W1543130152 cites W1993138363 @default.
- W1543130152 cites W2012539169 @default.
- W1543130152 cites W2015413218 @default.
- W1543130152 cites W2031411912 @default.
- W1543130152 cites W2043360684 @default.
- W1543130152 cites W2055874330 @default.
- W1543130152 cites W2059144726 @default.
- W1543130152 cites W2913217397 @default.
- W1543130152 cites W4252933876 @default.
- W1543130152 cites W2125162033 @default.
- W1543130152 doi "https://doi.org/10.1007/3-540-60178-3_98" @default.
- W1543130152 hasPublicationYear "1995" @default.
- W1543130152 type Work @default.
- W1543130152 sameAs 1543130152 @default.
- W1543130152 citedByCount "6" @default.
- W1543130152 countsByYear W15431301522015 @default.
- W1543130152 crossrefType "book-chapter" @default.
- W1543130152 hasAuthorship W1543130152A5068121852 @default.
- W1543130152 hasAuthorship W1543130152A5090746300 @default.
- W1543130152 hasConcept C41008148 @default.
- W1543130152 hasConcept C80444323 @default.
- W1543130152 hasConceptScore W1543130152C41008148 @default.
- W1543130152 hasConceptScore W1543130152C80444323 @default.
- W1543130152 hasLocation W15431301521 @default.
- W1543130152 hasOpenAccess W1543130152 @default.
- W1543130152 hasPrimaryLocation W15431301521 @default.
- W1543130152 hasRelatedWork W2093578348 @default.
- W1543130152 hasRelatedWork W2350741829 @default.
- W1543130152 hasRelatedWork W2358668433 @default.
- W1543130152 hasRelatedWork W2376932109 @default.
- W1543130152 hasRelatedWork W2382290278 @default.
- W1543130152 hasRelatedWork W2390279801 @default.
- W1543130152 hasRelatedWork W2392953011 @default.
- W1543130152 hasRelatedWork W2748952813 @default.
- W1543130152 hasRelatedWork W2766271392 @default.
- W1543130152 hasRelatedWork W2899084033 @default.
- W1543130152 isParatext "false" @default.
- W1543130152 isRetracted "false" @default.
- W1543130152 magId "1543130152" @default.
- W1543130152 workType "book-chapter" @default.