Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149642761> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2149642761 endingPage "1230" @default.
- W2149642761 startingPage "1217" @default.
- W2149642761 abstract "Abstract We prove that the set of properties describable by a uniform sequence of first-order sentences using at most k + 1 distinct variables is exactly equal to the set of properties checkable by a Turing machine in DSPACE [ n k ] (where n is the size of the universe). This set is also equal to the set of properties describable using an iterative definition for a finite set of relations of arity k . This is a refinement of the theorem PSPACE = VAR [ O [1]] [8]. We suggest some directions for exploiting this result to derive trade-offs between the number of variables and the quantifier depth in descriptive complexity." @default.
- W2149642761 created "2016-06-24" @default.
- W2149642761 creator A5050611549 @default.
- W2149642761 creator A5053065200 @default.
- W2149642761 creator A5082512839 @default.
- W2149642761 date "2001-09-01" @default.
- W2149642761 modified "2023-09-25" @default.
- W2149642761 title "Number of variables is equivalent to space " @default.
- W2149642761 cites W1970629906 @default.
- W2149642761 cites W1984581643 @default.
- W2149642761 cites W1984890936 @default.
- W2149642761 cites W2045583484 @default.
- W2149642761 cites W2049016755 @default.
- W2149642761 cites W2055874330 @default.
- W2149642761 cites W2088094394 @default.
- W2149642761 doi "https://doi.org/10.2307/2695103" @default.
- W2149642761 hasPublicationYear "2001" @default.
- W2149642761 type Work @default.
- W2149642761 sameAs 2149642761 @default.
- W2149642761 citedByCount "6" @default.
- W2149642761 crossrefType "journal-article" @default.
- W2149642761 hasAuthorship W2149642761A5050611549 @default.
- W2149642761 hasAuthorship W2149642761A5053065200 @default.
- W2149642761 hasAuthorship W2149642761A5082512839 @default.
- W2149642761 hasConcept C110546421 @default.
- W2149642761 hasConcept C111919701 @default.
- W2149642761 hasConcept C11413529 @default.
- W2149642761 hasConcept C114614502 @default.
- W2149642761 hasConcept C118615104 @default.
- W2149642761 hasConcept C154945302 @default.
- W2149642761 hasConcept C177264268 @default.
- W2149642761 hasConcept C179799912 @default.
- W2149642761 hasConcept C197685441 @default.
- W2149642761 hasConcept C199360897 @default.
- W2149642761 hasConcept C2778112365 @default.
- W2149642761 hasConcept C2778523021 @default.
- W2149642761 hasConcept C2778572836 @default.
- W2149642761 hasConcept C33923547 @default.
- W2149642761 hasConcept C38264464 @default.
- W2149642761 hasConcept C41008148 @default.
- W2149642761 hasConcept C54355233 @default.
- W2149642761 hasConcept C86803240 @default.
- W2149642761 hasConcept C9870796 @default.
- W2149642761 hasConceptScore W2149642761C110546421 @default.
- W2149642761 hasConceptScore W2149642761C111919701 @default.
- W2149642761 hasConceptScore W2149642761C11413529 @default.
- W2149642761 hasConceptScore W2149642761C114614502 @default.
- W2149642761 hasConceptScore W2149642761C118615104 @default.
- W2149642761 hasConceptScore W2149642761C154945302 @default.
- W2149642761 hasConceptScore W2149642761C177264268 @default.
- W2149642761 hasConceptScore W2149642761C179799912 @default.
- W2149642761 hasConceptScore W2149642761C197685441 @default.
- W2149642761 hasConceptScore W2149642761C199360897 @default.
- W2149642761 hasConceptScore W2149642761C2778112365 @default.
- W2149642761 hasConceptScore W2149642761C2778523021 @default.
- W2149642761 hasConceptScore W2149642761C2778572836 @default.
- W2149642761 hasConceptScore W2149642761C33923547 @default.
- W2149642761 hasConceptScore W2149642761C38264464 @default.
- W2149642761 hasConceptScore W2149642761C41008148 @default.
- W2149642761 hasConceptScore W2149642761C54355233 @default.
- W2149642761 hasConceptScore W2149642761C86803240 @default.
- W2149642761 hasConceptScore W2149642761C9870796 @default.
- W2149642761 hasIssue "03" @default.
- W2149642761 hasLocation W21496427611 @default.
- W2149642761 hasOpenAccess W2149642761 @default.
- W2149642761 hasPrimaryLocation W21496427611 @default.
- W2149642761 hasRelatedWork W1483892218 @default.
- W2149642761 hasRelatedWork W1515777348 @default.
- W2149642761 hasRelatedWork W2009215498 @default.
- W2149642761 hasRelatedWork W2149642761 @default.
- W2149642761 hasRelatedWork W2595921241 @default.
- W2149642761 hasRelatedWork W2912942225 @default.
- W2149642761 hasRelatedWork W2950569238 @default.
- W2149642761 hasRelatedWork W2952956456 @default.
- W2149642761 hasRelatedWork W4297903773 @default.
- W2149642761 hasRelatedWork W2117105227 @default.
- W2149642761 hasVolume "66" @default.
- W2149642761 isParatext "false" @default.
- W2149642761 isRetracted "false" @default.
- W2149642761 magId "2149642761" @default.
- W2149642761 workType "article" @default.