Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489202196> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1489202196 endingPage "332" @default.
- W1489202196 startingPage "321" @default.
- W1489202196 abstract "The match-bound technique is a recent and elegant method to prove the termination of rewrite systems using automata techniques. To increase the applicability of the method we incorporate it into the dependency pair framework. The key to this is the introduction of two new enrichments which take the special properties of dependency pair problems into account." @default.
- W1489202196 created "2016-06-24" @default.
- W1489202196 creator A5028162372 @default.
- W1489202196 creator A5049118633 @default.
- W1489202196 date "2008-09-24" @default.
- W1489202196 modified "2023-09-24" @default.
- W1489202196 title "Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems" @default.
- W1489202196 cites W1481059806 @default.
- W1489202196 cites W1481869731 @default.
- W1489202196 cites W1494959176 @default.
- W1489202196 cites W1508261706 @default.
- W1489202196 cites W1802519271 @default.
- W1489202196 cites W1970844917 @default.
- W1489202196 cites W2001932052 @default.
- W1489202196 cites W2025885449 @default.
- W1489202196 cites W2090855107 @default.
- W1489202196 cites W2093130576 @default.
- W1489202196 cites W2099083823 @default.
- W1489202196 cites W2137374798 @default.
- W1489202196 cites W4230919050 @default.
- W1489202196 cites W91193428 @default.
- W1489202196 doi "https://doi.org/10.1007/978-3-540-88282-4_30" @default.
- W1489202196 hasPublicationYear "2008" @default.
- W1489202196 type Work @default.
- W1489202196 sameAs 1489202196 @default.
- W1489202196 citedByCount "2" @default.
- W1489202196 crossrefType "book-chapter" @default.
- W1489202196 hasAuthorship W1489202196A5028162372 @default.
- W1489202196 hasAuthorship W1489202196A5049118633 @default.
- W1489202196 hasBestOaLocation W14892021962 @default.
- W1489202196 hasConcept C112505250 @default.
- W1489202196 hasConcept C11413529 @default.
- W1489202196 hasConcept C154945302 @default.
- W1489202196 hasConcept C19768560 @default.
- W1489202196 hasConcept C26517878 @default.
- W1489202196 hasConcept C38652104 @default.
- W1489202196 hasConcept C41008148 @default.
- W1489202196 hasConcept C80444323 @default.
- W1489202196 hasConceptScore W1489202196C112505250 @default.
- W1489202196 hasConceptScore W1489202196C11413529 @default.
- W1489202196 hasConceptScore W1489202196C154945302 @default.
- W1489202196 hasConceptScore W1489202196C19768560 @default.
- W1489202196 hasConceptScore W1489202196C26517878 @default.
- W1489202196 hasConceptScore W1489202196C38652104 @default.
- W1489202196 hasConceptScore W1489202196C41008148 @default.
- W1489202196 hasConceptScore W1489202196C80444323 @default.
- W1489202196 hasLocation W14892021961 @default.
- W1489202196 hasLocation W14892021962 @default.
- W1489202196 hasOpenAccess W1489202196 @default.
- W1489202196 hasPrimaryLocation W14892021961 @default.
- W1489202196 hasRelatedWork W1481869731 @default.
- W1489202196 hasRelatedWork W1529400504 @default.
- W1489202196 hasRelatedWork W1977872267 @default.
- W1489202196 hasRelatedWork W2180724905 @default.
- W1489202196 hasRelatedWork W2329452785 @default.
- W1489202196 hasRelatedWork W2356380379 @default.
- W1489202196 hasRelatedWork W2383067397 @default.
- W1489202196 hasRelatedWork W2888625260 @default.
- W1489202196 hasRelatedWork W63071447 @default.
- W1489202196 hasRelatedWork W65617392 @default.
- W1489202196 isParatext "false" @default.
- W1489202196 isRetracted "false" @default.
- W1489202196 magId "1489202196" @default.
- W1489202196 workType "book-chapter" @default.