Matches in SemOpenAlex for { <https://semopenalex.org/work/W2902687082> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2902687082 abstract "We translate the usual class of partial/primitive recursive functions to a pointer recursion framework, accessing actual input values via a pointer reading unit-cost function. These pointer recursive functions classes are proven equivalent to the usual partial/primitive recursive functions. Complexity-wise, this framework captures in a streamlined way most of the relevant sub-polynomial classes. Pointer recursion with the safe/normal tiering discipline of Bellantoni and Cook corresponds to polylogtime computation. We introduce a new, non-size increasing tiering discipline, called tropical tiering. Tropical tiering and pointer recursion, used with some of the most common recursion schemes, capture the classes logspace, logspace/polylogtime, ptime, and NC. Finally, in a fashion reminiscent of the safe recursive functions, tropical tier-ing is expressed directly in the syntax of the function algebras, yielding the tropical recursive function algebras." @default.
- W2902687082 created "2018-12-11" @default.
- W2902687082 creator A5084478376 @default.
- W2902687082 date "2019-12-16" @default.
- W2902687082 modified "2023-09-25" @default.
- W2902687082 title "Pointers in Recursion: Exploring the Tropics" @default.
- W2902687082 doi "https://doi.org/10.4230/lipics.fscd.2019.25" @default.
- W2902687082 hasPublicationYear "2019" @default.
- W2902687082 type Work @default.
- W2902687082 sameAs 2902687082 @default.
- W2902687082 citedByCount "10" @default.
- W2902687082 countsByYear W29026870822019 @default.
- W2902687082 countsByYear W29026870822020 @default.
- W2902687082 countsByYear W29026870822021 @default.
- W2902687082 countsByYear W29026870822022 @default.
- W2902687082 countsByYear W29026870822023 @default.
- W2902687082 crossrefType "posted-content" @default.
- W2902687082 hasAuthorship W2902687082A5084478376 @default.
- W2902687082 hasBestOaLocation W29026870821 @default.
- W2902687082 hasConcept C168773036 @default.
- W2902687082 hasConcept C18903297 @default.
- W2902687082 hasConcept C199360897 @default.
- W2902687082 hasConcept C205649164 @default.
- W2902687082 hasConcept C41008148 @default.
- W2902687082 hasConcept C50660011 @default.
- W2902687082 hasConcept C86803240 @default.
- W2902687082 hasConceptScore W2902687082C168773036 @default.
- W2902687082 hasConceptScore W2902687082C18903297 @default.
- W2902687082 hasConceptScore W2902687082C199360897 @default.
- W2902687082 hasConceptScore W2902687082C205649164 @default.
- W2902687082 hasConceptScore W2902687082C41008148 @default.
- W2902687082 hasConceptScore W2902687082C50660011 @default.
- W2902687082 hasConceptScore W2902687082C86803240 @default.
- W2902687082 hasLocation W29026870821 @default.
- W2902687082 hasLocation W29026870822 @default.
- W2902687082 hasLocation W29026870823 @default.
- W2902687082 hasLocation W29026870824 @default.
- W2902687082 hasLocation W29026870825 @default.
- W2902687082 hasLocation W29026870826 @default.
- W2902687082 hasLocation W29026870827 @default.
- W2902687082 hasOpenAccess W2902687082 @default.
- W2902687082 hasPrimaryLocation W29026870821 @default.
- W2902687082 hasRelatedWork W1885644741 @default.
- W2902687082 hasRelatedWork W2310812012 @default.
- W2902687082 hasRelatedWork W23899750 @default.
- W2902687082 hasRelatedWork W2748952813 @default.
- W2902687082 hasRelatedWork W2899084033 @default.
- W2902687082 hasRelatedWork W2902687082 @default.
- W2902687082 hasRelatedWork W2996950030 @default.
- W2902687082 hasRelatedWork W3158434962 @default.
- W2902687082 hasRelatedWork W573007006 @default.
- W2902687082 hasRelatedWork W641531058 @default.
- W2902687082 isParatext "false" @default.
- W2902687082 isRetracted "false" @default.
- W2902687082 magId "2902687082" @default.
- W2902687082 workType "article" @default.