FRINK Linked Data Fragments server

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

• W2090855107 endingPage "178" @default.
• W2090855107 startingPage "133" @default.
• W2090855107 abstract "We present techniques to prove termination and innermost termination of term rewriting systems automatically. In contrast to previous approaches, we do not compare left- and right-hand sides of rewrite rules, but introduce the notion of dependency pairs to compare left-hand sides with special subterms of the right-hand sides. This results in a technique which allows to apply existing methods for automated termination proofs to term rewriting systems where they failed up to now. In particular, there are numerous term rewriting systems where a direct termination proof with simplification orderings is not possible, but in combination with our technique, well-known simplification orderings (such as the recursive path ordering, polynomial orderings, or the Knuth–Bendix ordering) can now be used to prove termination automatically. Unlike previous methods, our technique for proving innermost termination automatically can also be applied to prove innermost termination of term rewriting systems that are not terminating. Moreover, as innermost termination implies termination for certain classes of term rewriting systems, this technique can also be used for termination proofs of such systems." @default.
• W2090855107 created "2016-06-24" @default.
• W2090855107 creator A5025232172 @default.
• W2090855107 creator A5075791951 @default.
• W2090855107 date "2000-04-01" @default.
• W2090855107 modified "2023-10-03" @default.
• W2090855107 title "Termination of term rewriting using dependency pairs" @default.
• W2090855107 cites W1480168175 @default.
• W2090855107 cites W1481059806 @default.
• W2090855107 cites W1504968057 @default.
• W2090855107 cites W1521250667 @default.
• W2090855107 cites W1522871112 @default.
• W2090855107 cites W1542124543 @default.
• W2090855107 cites W1543527641 @default.
• W2090855107 cites W1586360976 @default.
• W2090855107 cites W1770707453 @default.
• W2090855107 cites W1824811811 @default.
• W2090855107 cites W1933182892 @default.
• W2090855107 cites W1965088381 @default.
• W2090855107 cites W1994958005 @default.
• W2090855107 cites W2024932951 @default.
• W2090855107 cites W2026623712 @default.
• W2090855107 cites W2038571924 @default.
• W2090855107 cites W2041799549 @default.
• W2090855107 cites W2077956228 @default.
• W2090855107 cites W2080725351 @default.
• W2090855107 cites W2086747974 @default.
• W2090855107 cites W2109883071 @default.
• W2090855107 cites W2112820621 @default.
• W2090855107 cites W2121757274 @default.
• W2090855107 cites W2123640792 @default.
• W2090855107 cites W2144449052 @default.
• W2090855107 cites W2149605327 @default.
• W2090855107 cites W2170550263 @default.
• W2090855107 cites W2911610589 @default.
• W2090855107 cites W2913116145 @default.
• W2090855107 cites W4252390666 @default.
• W2090855107 doi "https://doi.org/10.1016/s0304-3975(99)00207-8" @default.
• W2090855107 hasPublicationYear "2000" @default.
• W2090855107 type Work @default.
• W2090855107 sameAs 2090855107 @default.
• W2090855107 citedByCount "465" @default.
• W2090855107 countsByYear W20908551072012 @default.
• W2090855107 countsByYear W20908551072013 @default.
• W2090855107 countsByYear W20908551072014 @default.
• W2090855107 countsByYear W20908551072015 @default.
• W2090855107 countsByYear W20908551072016 @default.
• W2090855107 countsByYear W20908551072017 @default.
• W2090855107 countsByYear W20908551072018 @default.
• W2090855107 countsByYear W20908551072019 @default.
• W2090855107 countsByYear W20908551072020 @default.
• W2090855107 countsByYear W20908551072021 @default.
• W2090855107 countsByYear W20908551072022 @default.
• W2090855107 countsByYear W20908551072023 @default.
• W2090855107 crossrefType "journal-article" @default.
• W2090855107 hasAuthorship W2090855107A5025232172 @default.
• W2090855107 hasAuthorship W2090855107A5075791951 @default.
• W2090855107 hasConcept C108710211 @default.
• W2090855107 hasConcept C11413529 @default.
• W2090855107 hasConcept C121332964 @default.
• W2090855107 hasConcept C154690210 @default.
• W2090855107 hasConcept C154945302 @default.
• W2090855107 hasConcept C159333733 @default.
• W2090855107 hasConcept C19768560 @default.
• W2090855107 hasConcept C199360897 @default.
• W2090855107 hasConcept C2524010 @default.
• W2090855107 hasConcept C31314021 @default.
• W2090855107 hasConcept C33923547 @default.
• W2090855107 hasConcept C41008148 @default.
• W2090855107 hasConcept C61797465 @default.
• W2090855107 hasConcept C62520636 @default.
• W2090855107 hasConcept C77906462 @default.
• W2090855107 hasConceptScore W2090855107C108710211 @default.
• W2090855107 hasConceptScore W2090855107C11413529 @default.
• W2090855107 hasConceptScore W2090855107C121332964 @default.
• W2090855107 hasConceptScore W2090855107C154690210 @default.
• W2090855107 hasConceptScore W2090855107C154945302 @default.
• W2090855107 hasConceptScore W2090855107C159333733 @default.
• W2090855107 hasConceptScore W2090855107C19768560 @default.
• W2090855107 hasConceptScore W2090855107C199360897 @default.
• W2090855107 hasConceptScore W2090855107C2524010 @default.
• W2090855107 hasConceptScore W2090855107C31314021 @default.
• W2090855107 hasConceptScore W2090855107C33923547 @default.
• W2090855107 hasConceptScore W2090855107C41008148 @default.
• W2090855107 hasConceptScore W2090855107C61797465 @default.
• W2090855107 hasConceptScore W2090855107C62520636 @default.
• W2090855107 hasConceptScore W2090855107C77906462 @default.
• W2090855107 hasIssue "1-2" @default.
• W2090855107 hasLocation W20908551071 @default.
• W2090855107 hasOpenAccess W2090855107 @default.
• W2090855107 hasPrimaryLocation W20908551071 @default.
• W2090855107 hasRelatedWork W1515515243 @default.
• W2090855107 hasRelatedWork W1537275197 @default.
• W2090855107 hasRelatedWork W2090855107 @default.
• W2090855107 hasRelatedWork W2158205039 @default.
• W2090855107 hasRelatedWork W2291376408 @default.
• W2090855107 hasRelatedWork W2407690295 @default.
• W2090855107 hasRelatedWork W2517733820 @default.

• next