Matches in SemOpenAlex for { <https://semopenalex.org/work/W2160698488> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2160698488 abstract "Higher type primitive recursive definitions (also known as Godel's system T) defining first-order functions can be classified into an infinite syntactic hierarchy. A definition is in the nth level of this hierarchy, a so-called rank-n definition, if and only if n is an upper bound on the levels of the types occurring in it. The author interprets these definitions over finite structures and shows that rank-2 definitions characterize PTIME, rank-3 definitions characterize PSPACE, and rank-4 definitions EXPTIME. >" @default.
- W2160698488 created "2016-06-24" @default.
- W2160698488 creator A5044686377 @default.
- W2160698488 date "2003-01-07" @default.
- W2160698488 modified "2023-09-23" @default.
- W2160698488 title "Characterizing complexity classes by higher type primitive recursive definitions" @default.
- W2160698488 cites W108460724 @default.
- W2160698488 cites W1536644522 @default.
- W2160698488 cites W1864285868 @default.
- W2160698488 cites W189149083 @default.
- W2160698488 cites W2007270285 @default.
- W2160698488 cites W2033678288 @default.
- W2160698488 cites W2074466497 @default.
- W2160698488 cites W2103403562 @default.
- W2160698488 cites W2313175711 @default.
- W2160698488 cites W2399914283 @default.
- W2160698488 cites W43155751 @default.
- W2160698488 cites W82823916 @default.
- W2160698488 doi "https://doi.org/10.1109/lics.1989.39191" @default.
- W2160698488 hasPublicationYear "2003" @default.
- W2160698488 type Work @default.
- W2160698488 sameAs 2160698488 @default.
- W2160698488 citedByCount "1" @default.
- W2160698488 crossrefType "proceedings-article" @default.
- W2160698488 hasAuthorship W2160698488A5044686377 @default.
- W2160698488 hasConcept C11413529 @default.
- W2160698488 hasConcept C114614502 @default.
- W2160698488 hasConcept C118615104 @default.
- W2160698488 hasConcept C134026603 @default.
- W2160698488 hasConcept C134306372 @default.
- W2160698488 hasConcept C162324750 @default.
- W2160698488 hasConcept C164226766 @default.
- W2160698488 hasConcept C179799912 @default.
- W2160698488 hasConcept C18903297 @default.
- W2160698488 hasConcept C197685441 @default.
- W2160698488 hasConcept C2777299769 @default.
- W2160698488 hasConcept C311688 @default.
- W2160698488 hasConcept C31170391 @default.
- W2160698488 hasConcept C33923547 @default.
- W2160698488 hasConcept C34447519 @default.
- W2160698488 hasConcept C39637292 @default.
- W2160698488 hasConcept C41008148 @default.
- W2160698488 hasConcept C56049555 @default.
- W2160698488 hasConcept C77553402 @default.
- W2160698488 hasConcept C80444323 @default.
- W2160698488 hasConcept C86803240 @default.
- W2160698488 hasConcept C9986523 @default.
- W2160698488 hasConceptScore W2160698488C11413529 @default.
- W2160698488 hasConceptScore W2160698488C114614502 @default.
- W2160698488 hasConceptScore W2160698488C118615104 @default.
- W2160698488 hasConceptScore W2160698488C134026603 @default.
- W2160698488 hasConceptScore W2160698488C134306372 @default.
- W2160698488 hasConceptScore W2160698488C162324750 @default.
- W2160698488 hasConceptScore W2160698488C164226766 @default.
- W2160698488 hasConceptScore W2160698488C179799912 @default.
- W2160698488 hasConceptScore W2160698488C18903297 @default.
- W2160698488 hasConceptScore W2160698488C197685441 @default.
- W2160698488 hasConceptScore W2160698488C2777299769 @default.
- W2160698488 hasConceptScore W2160698488C311688 @default.
- W2160698488 hasConceptScore W2160698488C31170391 @default.
- W2160698488 hasConceptScore W2160698488C33923547 @default.
- W2160698488 hasConceptScore W2160698488C34447519 @default.
- W2160698488 hasConceptScore W2160698488C39637292 @default.
- W2160698488 hasConceptScore W2160698488C41008148 @default.
- W2160698488 hasConceptScore W2160698488C56049555 @default.
- W2160698488 hasConceptScore W2160698488C77553402 @default.
- W2160698488 hasConceptScore W2160698488C80444323 @default.
- W2160698488 hasConceptScore W2160698488C86803240 @default.
- W2160698488 hasConceptScore W2160698488C9986523 @default.
- W2160698488 hasLocation W21606984881 @default.
- W2160698488 hasOpenAccess W2160698488 @default.
- W2160698488 hasPrimaryLocation W21606984881 @default.
- W2160698488 hasRelatedWork W1018377251 @default.
- W2160698488 hasRelatedWork W108460724 @default.
- W2160698488 hasRelatedWork W115501304 @default.
- W2160698488 hasRelatedWork W1569401837 @default.
- W2160698488 hasRelatedWork W189149083 @default.
- W2160698488 hasRelatedWork W1996469205 @default.
- W2160698488 hasRelatedWork W2058879055 @default.
- W2160698488 hasRelatedWork W2065251436 @default.
- W2160698488 hasRelatedWork W2071426334 @default.
- W2160698488 hasRelatedWork W2074466497 @default.
- W2160698488 hasRelatedWork W2074965491 @default.
- W2160698488 hasRelatedWork W2110464795 @default.
- W2160698488 hasRelatedWork W2121683501 @default.
- W2160698488 hasRelatedWork W2211133808 @default.
- W2160698488 hasRelatedWork W2460611553 @default.
- W2160698488 hasRelatedWork W2461298742 @default.
- W2160698488 hasRelatedWork W2505938129 @default.
- W2160698488 hasRelatedWork W2579968970 @default.
- W2160698488 hasRelatedWork W2611980844 @default.
- W2160698488 hasRelatedWork W2914940747 @default.
- W2160698488 isParatext "false" @default.
- W2160698488 isRetracted "false" @default.
- W2160698488 magId "2160698488" @default.
- W2160698488 workType "article" @default.