FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983193642> ?p ?o ?g. }

• W1983193642 endingPage "315" @default.
• W1983193642 startingPage "279" @default.
• W1983193642 abstract "First-order applicative rewrite systems provide a natural framework for modeling higher-order aspects. In this article we present a transformation from untyped applicative term rewrite systems to functional term rewrite systems that preserves and reflects termination. Our transformation is less restrictive than other approaches. In particular, head variables in right-hand sides of rewrite rules can be handled. To further increase the applicability of our transformation, we study the method for innermost rewriting and derivational complexity, and present a version for dependency pairs." @default.
• W1983193642 created "2016-06-24" @default.
• W1983193642 creator A5028009961 @default.
• W1983193642 creator A5029417342 @default.
• W1983193642 creator A5049118633 @default.
• W1983193642 date "2012-04-25" @default.
• W1983193642 modified "2023-10-16" @default.
• W1983193642 title "Uncurrying for Termination and Complexity" @default.
• W1983193642 cites W1483679303 @default.
• W1983193642 cites W1502436222 @default.
• W1983193642 cites W1508261706 @default.
• W1983193642 cites W1520909274 @default.
• W1983193642 cites W1552495765 @default.
• W1983193642 cites W1568506451 @default.
• W1983193642 cites W1568532679 @default.
• W1983193642 cites W1597089442 @default.
• W1983193642 cites W172021561 @default.
• W1983193642 cites W1826133666 @default.
• W1983193642 cites W1849654074 @default.
• W1983193642 cites W1896024878 @default.
• W1983193642 cites W1913470731 @default.
• W1983193642 cites W1978279608 @default.
• W1983193642 cites W1986072156 @default.
• W1983193642 cites W1988319950 @default.
• W1983193642 cites W2001932052 @default.
• W1983193642 cites W2009477188 @default.
• W1983193642 cites W2024932951 @default.
• W1983193642 cites W2028630528 @default.
• W1983193642 cites W2043802386 @default.
• W1983193642 cites W2090855107 @default.
• W1983193642 cites W2099083823 @default.
• W1983193642 cites W2099473324 @default.
• W1983193642 cites W2113881596 @default.
• W1983193642 cites W2119852735 @default.
• W1983193642 cites W2136379287 @default.
• W1983193642 cites W2136514805 @default.
• W1983193642 cites W2142631561 @default.
• W1983193642 cites W2148870725 @default.
• W1983193642 cites W2164290630 @default.
• W1983193642 cites W2168096396 @default.
• W1983193642 cites W4206829564 @default.
• W1983193642 cites W4230919050 @default.
• W1983193642 cites W96821497 @default.
• W1983193642 doi "https://doi.org/10.1007/s10817-012-9248-3" @default.
• W1983193642 hasPublicationYear "2012" @default.
• W1983193642 type Work @default.
• W1983193642 sameAs 1983193642 @default.
• W1983193642 citedByCount "13" @default.
• W1983193642 countsByYear W19831936422014 @default.
• W1983193642 countsByYear W19831936422015 @default.
• W1983193642 countsByYear W19831936422016 @default.
• W1983193642 countsByYear W19831936422017 @default.
• W1983193642 countsByYear W19831936422021 @default.
• W1983193642 crossrefType "journal-article" @default.
• W1983193642 hasAuthorship W1983193642A5028009961 @default.
• W1983193642 hasAuthorship W1983193642A5029417342 @default.
• W1983193642 hasAuthorship W1983193642A5049118633 @default.
• W1983193642 hasBestOaLocation W19831936421 @default.
• W1983193642 hasConcept C104317684 @default.
• W1983193642 hasConcept C11413529 @default.
• W1983193642 hasConcept C121332964 @default.
• W1983193642 hasConcept C154690210 @default.
• W1983193642 hasConcept C154945302 @default.
• W1983193642 hasConcept C185592680 @default.
• W1983193642 hasConcept C19768560 @default.
• W1983193642 hasConcept C199360897 @default.
• W1983193642 hasConcept C204241405 @default.
• W1983193642 hasConcept C33923547 @default.
• W1983193642 hasConcept C41008148 @default.
• W1983193642 hasConcept C55493867 @default.
• W1983193642 hasConcept C61797465 @default.
• W1983193642 hasConcept C62520636 @default.
• W1983193642 hasConcept C77906462 @default.
• W1983193642 hasConcept C80444323 @default.
• W1983193642 hasConceptScore W1983193642C104317684 @default.
• W1983193642 hasConceptScore W1983193642C11413529 @default.
• W1983193642 hasConceptScore W1983193642C121332964 @default.
• W1983193642 hasConceptScore W1983193642C154690210 @default.
• W1983193642 hasConceptScore W1983193642C154945302 @default.
• W1983193642 hasConceptScore W1983193642C185592680 @default.
• W1983193642 hasConceptScore W1983193642C19768560 @default.
• W1983193642 hasConceptScore W1983193642C199360897 @default.
• W1983193642 hasConceptScore W1983193642C204241405 @default.
• W1983193642 hasConceptScore W1983193642C33923547 @default.
• W1983193642 hasConceptScore W1983193642C41008148 @default.
• W1983193642 hasConceptScore W1983193642C55493867 @default.
• W1983193642 hasConceptScore W1983193642C61797465 @default.
• W1983193642 hasConceptScore W1983193642C62520636 @default.
• W1983193642 hasConceptScore W1983193642C77906462 @default.
• W1983193642 hasConceptScore W1983193642C80444323 @default.
• W1983193642 hasIssue "3" @default.
• W1983193642 hasLocation W19831936421 @default.
• W1983193642 hasOpenAccess W1983193642 @default.
• W1983193642 hasPrimaryLocation W19831936421 @default.
• W1983193642 hasRelatedWork W1515515243 @default.
• W1983193642 hasRelatedWork W1594568141 @default.
• W1983193642 hasRelatedWork W2142543897 @default.
• W1983193642 hasRelatedWork W2316704281 @default.

• next