Matches in SemOpenAlex for { <https://semopenalex.org/work/W2786704353> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2786704353 abstract "Implicit computational complexity, which aims at characterizing complexity classes by machine-independent means, has traditionally been based, on the one hand, on programs and deductive formalisms for free algebras, and on the other hand on descriptive tools for finite structures. We consider here uninterpreted programs for the transformation of finite structures, which define functions over a free algebra A once the elements of A are themselves considered as finite structures. We thus bridge the gap between the two approaches above to implicit complexity, with the potential of streamlining and clarifying important tools and techniques, such as set-existence and ramification. We illustrate this potential by delineating a broad class of programs, based on the notion of loop variant familiar from imperative program construction, that characterizes a generic notion of primitive-recursive complexity, without reference to any data-driven recurrence." @default.
- W2786704353 created "2018-02-23" @default.
- W2786704353 creator A5018841823 @default.
- W2786704353 creator A5054567629 @default.
- W2786704353 date "2018-02-09" @default.
- W2786704353 modified "2023-09-27" @default.
- W2786704353 title "Implicit complexity via structure transformation" @default.
- W2786704353 cites W1482193060 @default.
- W2786704353 cites W1490228606 @default.
- W2786704353 cites W1498119625 @default.
- W2786704353 cites W1509678779 @default.
- W2786704353 cites W1511668635 @default.
- W2786704353 cites W1514796322 @default.
- W2786704353 cites W1590605830 @default.
- W2786704353 cites W1974374936 @default.
- W2786704353 cites W2006253309 @default.
- W2786704353 cites W2103953153 @default.
- W2786704353 cites W2147543351 @default.
- W2786704353 cites W3127113455 @default.
- W2786704353 cites W40029885 @default.
- W2786704353 hasPublicationYear "2018" @default.
- W2786704353 type Work @default.
- W2786704353 sameAs 2786704353 @default.
- W2786704353 citedByCount "2" @default.
- W2786704353 countsByYear W27867043532018 @default.
- W2786704353 countsByYear W27867043532019 @default.
- W2786704353 crossrefType "posted-content" @default.
- W2786704353 hasAuthorship W2786704353A5018841823 @default.
- W2786704353 hasAuthorship W2786704353A5054567629 @default.
- W2786704353 hasConcept C100776233 @default.
- W2786704353 hasConcept C104317684 @default.
- W2786704353 hasConcept C126322002 @default.
- W2786704353 hasConcept C136119220 @default.
- W2786704353 hasConcept C154945302 @default.
- W2786704353 hasConcept C171018156 @default.
- W2786704353 hasConcept C177264268 @default.
- W2786704353 hasConcept C185592680 @default.
- W2786704353 hasConcept C199360897 @default.
- W2786704353 hasConcept C202444582 @default.
- W2786704353 hasConcept C204241405 @default.
- W2786704353 hasConcept C2524010 @default.
- W2786704353 hasConcept C2777212361 @default.
- W2786704353 hasConcept C33923547 @default.
- W2786704353 hasConcept C41008148 @default.
- W2786704353 hasConcept C55493867 @default.
- W2786704353 hasConcept C71924100 @default.
- W2786704353 hasConcept C80444323 @default.
- W2786704353 hasConceptScore W2786704353C100776233 @default.
- W2786704353 hasConceptScore W2786704353C104317684 @default.
- W2786704353 hasConceptScore W2786704353C126322002 @default.
- W2786704353 hasConceptScore W2786704353C136119220 @default.
- W2786704353 hasConceptScore W2786704353C154945302 @default.
- W2786704353 hasConceptScore W2786704353C171018156 @default.
- W2786704353 hasConceptScore W2786704353C177264268 @default.
- W2786704353 hasConceptScore W2786704353C185592680 @default.
- W2786704353 hasConceptScore W2786704353C199360897 @default.
- W2786704353 hasConceptScore W2786704353C202444582 @default.
- W2786704353 hasConceptScore W2786704353C204241405 @default.
- W2786704353 hasConceptScore W2786704353C2524010 @default.
- W2786704353 hasConceptScore W2786704353C2777212361 @default.
- W2786704353 hasConceptScore W2786704353C33923547 @default.
- W2786704353 hasConceptScore W2786704353C41008148 @default.
- W2786704353 hasConceptScore W2786704353C55493867 @default.
- W2786704353 hasConceptScore W2786704353C71924100 @default.
- W2786704353 hasConceptScore W2786704353C80444323 @default.
- W2786704353 hasLocation W27867043531 @default.
- W2786704353 hasOpenAccess W2786704353 @default.
- W2786704353 hasPrimaryLocation W27867043531 @default.
- W2786704353 hasRelatedWork W1019621518 @default.
- W2786704353 hasRelatedWork W1493046541 @default.
- W2786704353 hasRelatedWork W1526247919 @default.
- W2786704353 hasRelatedWork W1532137833 @default.
- W2786704353 hasRelatedWork W1562478684 @default.
- W2786704353 hasRelatedWork W156739559 @default.
- W2786704353 hasRelatedWork W2022606606 @default.
- W2786704353 hasRelatedWork W2142958841 @default.
- W2786704353 hasRelatedWork W2285675326 @default.
- W2786704353 hasRelatedWork W247123987 @default.
- W2786704353 hasRelatedWork W2521165853 @default.
- W2786704353 hasRelatedWork W2522995823 @default.
- W2786704353 hasRelatedWork W2588172655 @default.
- W2786704353 hasRelatedWork W2782774046 @default.
- W2786704353 hasRelatedWork W2915922814 @default.
- W2786704353 hasRelatedWork W2986452333 @default.
- W2786704353 hasRelatedWork W86222690 @default.
- W2786704353 hasRelatedWork W1968816918 @default.
- W2786704353 hasRelatedWork W2129385473 @default.
- W2786704353 hasRelatedWork W3112158929 @default.
- W2786704353 isParatext "false" @default.
- W2786704353 isRetracted "false" @default.
- W2786704353 magId "2786704353" @default.
- W2786704353 workType "article" @default.