FRINK Linked Data Fragments server

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

• W2024821946 endingPage "270" @default.
• W2024821946 startingPage "229" @default.
• W2024821946 abstract "In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and innermost termination of arbitrary term rewrite systems (TRSs). Moreover, we compare this approach with existing techniques for termination analysis of TRSs (such as recursive path orders or dependency pairs). It turns out that the size-change principle on its own fails for many examples that can be handled by standard techniques for rewriting, but there are also TRSs where it succeeds whereas existing rewriting techniques fail. Moreover, we also compare the complexity of the respective methods. To this end, we develop the first complexity analysis for the dependency pair approach. While the size-change principle is PSPACE-complete, we prove that the dependency pair approach (in combination with classical path orders) is only -complete. To benefit from their respective advantages, we show how to combine the size-change principle with classical orders and with dependency pairs. In this way, we obtain a new approach for automated termination proofs of TRSs which is more powerful than previous approaches. We also show that the combination with dependency pairs does not increase the complexity of the size-change principle, i.e., the combined approach is still PSPACE-complete." @default.
• W2024821946 created "2016-06-24" @default.
• W2024821946 creator A5025232172 @default.
• W2024821946 creator A5078037586 @default.
• W2024821946 date "2005-06-22" @default.
• W2024821946 modified "2023-09-23" @default.
• W2024821946 title "The size-change principle and dependency pairs for termination of term rewriting" @default.
• W2024821946 cites W1489107600 @default.
• W2024821946 cites W1517103238 @default.
• W2024821946 cites W1521232193 @default.
• W2024821946 cites W1522871112 @default.
• W2024821946 cites W1552138200 @default.
• W2024821946 cites W1591665028 @default.
• W2024821946 cites W1597829367 @default.
• W2024821946 cites W1764978748 @default.
• W2024821946 cites W1834328158 @default.
• W2024821946 cites W1982129592 @default.
• W2024821946 cites W1993129359 @default.
• W2024821946 cites W2030433877 @default.
• W2024821946 cites W2041509557 @default.
• W2024821946 cites W2055323844 @default.
• W2024821946 cites W2080725351 @default.
• W2024821946 cites W2090855107 @default.
• W2024821946 cites W2106078552 @default.
• W2024821946 cites W2121757274 @default.
• W2024821946 cites W2134607541 @default.
• W2024821946 cites W2169324606 @default.
• W2024821946 cites W3083139518 @default.
• W2024821946 cites W4230919050 @default.
• W2024821946 cites W93035675 @default.
• W2024821946 doi "https://doi.org/10.1007/s00200-005-0179-7" @default.
• W2024821946 hasPublicationYear "2005" @default.
• W2024821946 type Work @default.
• W2024821946 sameAs 2024821946 @default.
• W2024821946 citedByCount "39" @default.
• W2024821946 countsByYear W20248219462012 @default.
• W2024821946 countsByYear W20248219462014 @default.
• W2024821946 countsByYear W20248219462017 @default.
• W2024821946 countsByYear W20248219462018 @default.
• W2024821946 countsByYear W20248219462019 @default.
• W2024821946 countsByYear W20248219462020 @default.
• W2024821946 crossrefType "journal-article" @default.
• W2024821946 hasAuthorship W2024821946A5025232172 @default.
• W2024821946 hasAuthorship W2024821946A5078037586 @default.
• W2024821946 hasBestOaLocation W20248219462 @default.
• W2024821946 hasConcept C108710211 @default.
• W2024821946 hasConcept C11413529 @default.
• W2024821946 hasConcept C121332964 @default.
• W2024821946 hasConcept C132525143 @default.
• W2024821946 hasConcept C154690210 @default.
• W2024821946 hasConcept C154945302 @default.
• W2024821946 hasConcept C16311509 @default.
• W2024821946 hasConcept C19768560 @default.
• W2024821946 hasConcept C199360897 @default.
• W2024821946 hasConcept C2524010 @default.
• W2024821946 hasConcept C2777735758 @default.
• W2024821946 hasConcept C33923547 @default.
• W2024821946 hasConcept C41008148 @default.
• W2024821946 hasConcept C61797465 @default.
• W2024821946 hasConcept C62520636 @default.
• W2024821946 hasConcept C77906462 @default.
• W2024821946 hasConcept C80444323 @default.
• W2024821946 hasConceptScore W2024821946C108710211 @default.
• W2024821946 hasConceptScore W2024821946C11413529 @default.
• W2024821946 hasConceptScore W2024821946C121332964 @default.
• W2024821946 hasConceptScore W2024821946C132525143 @default.
• W2024821946 hasConceptScore W2024821946C154690210 @default.
• W2024821946 hasConceptScore W2024821946C154945302 @default.
• W2024821946 hasConceptScore W2024821946C16311509 @default.
• W2024821946 hasConceptScore W2024821946C19768560 @default.
• W2024821946 hasConceptScore W2024821946C199360897 @default.
• W2024821946 hasConceptScore W2024821946C2524010 @default.
• W2024821946 hasConceptScore W2024821946C2777735758 @default.
• W2024821946 hasConceptScore W2024821946C33923547 @default.
• W2024821946 hasConceptScore W2024821946C41008148 @default.
• W2024821946 hasConceptScore W2024821946C61797465 @default.
• W2024821946 hasConceptScore W2024821946C62520636 @default.
• W2024821946 hasConceptScore W2024821946C77906462 @default.
• W2024821946 hasConceptScore W2024821946C80444323 @default.
• W2024821946 hasIssue "4" @default.
• W2024821946 hasLocation W20248219461 @default.
• W2024821946 hasLocation W20248219462 @default.
• W2024821946 hasOpenAccess W2024821946 @default.
• W2024821946 hasPrimaryLocation W20248219461 @default.
• W2024821946 hasRelatedWork W1489763947 @default.
• W2024821946 hasRelatedWork W1515515243 @default.
• W2024821946 hasRelatedWork W1563061915 @default.
• W2024821946 hasRelatedWork W2000826973 @default.
• W2024821946 hasRelatedWork W2024821946 @default.
• W2024821946 hasRelatedWork W2049865932 @default.
• W2024821946 hasRelatedWork W2090855107 @default.
• W2024821946 hasRelatedWork W2158205039 @default.
• W2024821946 hasRelatedWork W2407690295 @default.
• W2024821946 hasRelatedWork W2810978436 @default.
• W2024821946 hasVolume "16" @default.
• W2024821946 isParatext "false" @default.
• W2024821946 isRetracted "false" @default.
• W2024821946 magId "2024821946" @default.

• next