Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517103238> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1517103238 endingPage "268" @default.
- W1517103238 startingPage "249" @default.
- W1517103238 abstract "In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are very easy to implement, increase the power of the method, result in simpler termination proofs, and make the method more efficient." @default.
- W1517103238 created "2016-06-24" @default.
- W1517103238 creator A5029417342 @default.
- W1517103238 creator A5049118633 @default.
- W1517103238 date "2004-01-01" @default.
- W1517103238 modified "2023-10-16" @default.
- W1517103238 title "Dependency Pairs Revisited" @default.
- W1517103238 cites W1521232193 @default.
- W1517103238 cites W1521250667 @default.
- W1517103238 cites W1524964016 @default.
- W1517103238 cites W1552138200 @default.
- W1517103238 cites W1591280788 @default.
- W1517103238 cites W1591665028 @default.
- W1517103238 cites W1970856433 @default.
- W1517103238 cites W1980527029 @default.
- W1517103238 cites W2005604519 @default.
- W1517103238 cites W2030433877 @default.
- W1517103238 cites W2041509557 @default.
- W1517103238 cites W2080725351 @default.
- W1517103238 cites W2106078552 @default.
- W1517103238 cites W2156645025 @default.
- W1517103238 cites W3083139518 @default.
- W1517103238 cites W4230919050 @default.
- W1517103238 cites W93035675 @default.
- W1517103238 doi "https://doi.org/10.1007/978-3-540-25979-4_18" @default.
- W1517103238 hasPublicationYear "2004" @default.
- W1517103238 type Work @default.
- W1517103238 sameAs 1517103238 @default.
- W1517103238 citedByCount "66" @default.
- W1517103238 countsByYear W15171032382012 @default.
- W1517103238 countsByYear W15171032382013 @default.
- W1517103238 countsByYear W15171032382014 @default.
- W1517103238 countsByYear W15171032382015 @default.
- W1517103238 countsByYear W15171032382016 @default.
- W1517103238 countsByYear W15171032382017 @default.
- W1517103238 countsByYear W15171032382019 @default.
- W1517103238 countsByYear W15171032382020 @default.
- W1517103238 countsByYear W15171032382021 @default.
- W1517103238 countsByYear W15171032382022 @default.
- W1517103238 crossrefType "book-chapter" @default.
- W1517103238 hasAuthorship W1517103238A5029417342 @default.
- W1517103238 hasAuthorship W1517103238A5049118633 @default.
- W1517103238 hasBestOaLocation W15171032382 @default.
- W1517103238 hasConcept C108710211 @default.
- W1517103238 hasConcept C11413529 @default.
- W1517103238 hasConcept C121332964 @default.
- W1517103238 hasConcept C154945302 @default.
- W1517103238 hasConcept C195818886 @default.
- W1517103238 hasConcept C19768560 @default.
- W1517103238 hasConcept C199360897 @default.
- W1517103238 hasConcept C2524010 @default.
- W1517103238 hasConcept C33923547 @default.
- W1517103238 hasConcept C41008148 @default.
- W1517103238 hasConcept C61797465 @default.
- W1517103238 hasConcept C62520636 @default.
- W1517103238 hasConcept C80444323 @default.
- W1517103238 hasConceptScore W1517103238C108710211 @default.
- W1517103238 hasConceptScore W1517103238C11413529 @default.
- W1517103238 hasConceptScore W1517103238C121332964 @default.
- W1517103238 hasConceptScore W1517103238C154945302 @default.
- W1517103238 hasConceptScore W1517103238C195818886 @default.
- W1517103238 hasConceptScore W1517103238C19768560 @default.
- W1517103238 hasConceptScore W1517103238C199360897 @default.
- W1517103238 hasConceptScore W1517103238C2524010 @default.
- W1517103238 hasConceptScore W1517103238C33923547 @default.
- W1517103238 hasConceptScore W1517103238C41008148 @default.
- W1517103238 hasConceptScore W1517103238C61797465 @default.
- W1517103238 hasConceptScore W1517103238C62520636 @default.
- W1517103238 hasConceptScore W1517103238C80444323 @default.
- W1517103238 hasLocation W15171032381 @default.
- W1517103238 hasLocation W15171032382 @default.
- W1517103238 hasOpenAccess W1517103238 @default.
- W1517103238 hasPrimaryLocation W15171032381 @default.
- W1517103238 hasRelatedWork W1517103238 @default.
- W1517103238 hasRelatedWork W1570648924 @default.
- W1517103238 hasRelatedWork W2112258778 @default.
- W1517103238 hasRelatedWork W2407690295 @default.
- W1517103238 hasRelatedWork W2583162387 @default.
- W1517103238 hasRelatedWork W2584444274 @default.
- W1517103238 hasRelatedWork W2952136710 @default.
- W1517103238 hasRelatedWork W3091746212 @default.
- W1517103238 hasRelatedWork W3095227982 @default.
- W1517103238 hasRelatedWork W4297827766 @default.
- W1517103238 isParatext "false" @default.
- W1517103238 isRetracted "false" @default.
- W1517103238 magId "1517103238" @default.
- W1517103238 workType "book-chapter" @default.