Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566176171> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1566176171 endingPage "305" @default.
- W1566176171 startingPage "291" @default.
- W1566176171 abstract "The fold/unfold framework of Burstall and Darlington is a very powerful framework for transforming function definitions in the form of recursion equation schemes. This may be used to transform a function so as to improve the efficiency of its implementation. However, for this to work the user must supply so-called Eureka definitions and it may require some ingenuity to construct these. This paper shows that a class of these Eureka definitions can be derived in a rather systematic way." @default.
- W1566176171 created "2016-06-24" @default.
- W1566176171 creator A5012948241 @default.
- W1566176171 creator A5089639449 @default.
- W1566176171 date "1990-01-01" @default.
- W1566176171 modified "2023-09-26" @default.
- W1566176171 title "Eureka definitions for free! or Disagreement points for fold/unfold transformations" @default.
- W1566176171 cites W1523016082 @default.
- W1566176171 cites W1967869650 @default.
- W1566176171 cites W1988901815 @default.
- W1566176171 cites W1990347915 @default.
- W1566176171 cites W2023299380 @default.
- W1566176171 cites W2053141860 @default.
- W1566176171 cites W2057292961 @default.
- W1566176171 cites W2110183833 @default.
- W1566176171 cites W2151384546 @default.
- W1566176171 cites W4206362261 @default.
- W1566176171 doi "https://doi.org/10.1007/3-540-52592-0_70" @default.
- W1566176171 hasPublicationYear "1990" @default.
- W1566176171 type Work @default.
- W1566176171 sameAs 1566176171 @default.
- W1566176171 citedByCount "8" @default.
- W1566176171 crossrefType "book-chapter" @default.
- W1566176171 hasAuthorship W1566176171A5012948241 @default.
- W1566176171 hasAuthorship W1566176171A5089639449 @default.
- W1566176171 hasBestOaLocation W15661761711 @default.
- W1566176171 hasConcept C111472728 @default.
- W1566176171 hasConcept C138885662 @default.
- W1566176171 hasConcept C14036430 @default.
- W1566176171 hasConcept C154945302 @default.
- W1566176171 hasConcept C168773036 @default.
- W1566176171 hasConcept C199360897 @default.
- W1566176171 hasConcept C2777212361 @default.
- W1566176171 hasConcept C2778154381 @default.
- W1566176171 hasConcept C2780801425 @default.
- W1566176171 hasConcept C41008148 @default.
- W1566176171 hasConcept C53942344 @default.
- W1566176171 hasConcept C78458016 @default.
- W1566176171 hasConcept C80444323 @default.
- W1566176171 hasConcept C86803240 @default.
- W1566176171 hasConceptScore W1566176171C111472728 @default.
- W1566176171 hasConceptScore W1566176171C138885662 @default.
- W1566176171 hasConceptScore W1566176171C14036430 @default.
- W1566176171 hasConceptScore W1566176171C154945302 @default.
- W1566176171 hasConceptScore W1566176171C168773036 @default.
- W1566176171 hasConceptScore W1566176171C199360897 @default.
- W1566176171 hasConceptScore W1566176171C2777212361 @default.
- W1566176171 hasConceptScore W1566176171C2778154381 @default.
- W1566176171 hasConceptScore W1566176171C2780801425 @default.
- W1566176171 hasConceptScore W1566176171C41008148 @default.
- W1566176171 hasConceptScore W1566176171C53942344 @default.
- W1566176171 hasConceptScore W1566176171C78458016 @default.
- W1566176171 hasConceptScore W1566176171C80444323 @default.
- W1566176171 hasConceptScore W1566176171C86803240 @default.
- W1566176171 hasLocation W15661761711 @default.
- W1566176171 hasOpenAccess W1566176171 @default.
- W1566176171 hasPrimaryLocation W15661761711 @default.
- W1566176171 hasRelatedWork W1566176171 @default.
- W1566176171 hasRelatedWork W1998074275 @default.
- W1566176171 hasRelatedWork W2109507516 @default.
- W1566176171 hasRelatedWork W2166247150 @default.
- W1566176171 hasRelatedWork W2394390044 @default.
- W1566176171 hasRelatedWork W2998708867 @default.
- W1566176171 hasRelatedWork W3006660318 @default.
- W1566176171 hasRelatedWork W3214824289 @default.
- W1566176171 hasRelatedWork W4236835103 @default.
- W1566176171 hasRelatedWork W4243252198 @default.
- W1566176171 isParatext "false" @default.
- W1566176171 isRetracted "false" @default.
- W1566176171 magId "1566176171" @default.
- W1566176171 workType "book-chapter" @default.