Matches in SemOpenAlex for { <https://semopenalex.org/work/W3001304968> ?p ?o ?g. }
- W3001304968 abstract "The recursive path ordering is an established and crucial tool in term rewriting to prove termination. We revisit its presentation by means of some simple rules on trees equipped with a `star' as control symbol, signifying a command to make that tree (or term) smaller in the order being defined. This leads to star games that are very convenient for proving termination of many rewriting tasks. For instance, using already the simplest star game on finite unlabeled trees, we obtain a very direct proof of termination of the famous Hydra battle. We also include an alternative road to setting up the star games, using a proof method of Buchholz, and a quantitative version of the star as control symbol. We conclude with a number of questions and future research directions." @default.
- W3001304968 created "2020-01-30" @default.
- W3001304968 creator A5012405891 @default.
- W3001304968 creator A5013710541 @default.
- W3001304968 creator A5029479330 @default.
- W3001304968 date "2020-01-23" @default.
- W3001304968 modified "2023-09-27" @default.
- W3001304968 title "Star Games and Hydras" @default.
- W3001304968 cites W1496191775 @default.
- W3001304968 cites W1518285759 @default.
- W3001304968 cites W1546804799 @default.
- W3001304968 cites W1552190776 @default.
- W3001304968 cites W1555462381 @default.
- W3001304968 cites W1557328057 @default.
- W3001304968 cites W1581430649 @default.
- W3001304968 cites W1583295953 @default.
- W3001304968 cites W1594319355 @default.
- W3001304968 cites W1791432213 @default.
- W3001304968 cites W1849635240 @default.
- W3001304968 cites W1901068688 @default.
- W3001304968 cites W1932092999 @default.
- W3001304968 cites W1968714331 @default.
- W3001304968 cites W1971714145 @default.
- W3001304968 cites W1978060282 @default.
- W3001304968 cites W1994920379 @default.
- W3001304968 cites W2007823114 @default.
- W3001304968 cites W2040263743 @default.
- W3001304968 cites W2052953762 @default.
- W3001304968 cites W2076508310 @default.
- W3001304968 cites W2077219408 @default.
- W3001304968 cites W2078043326 @default.
- W3001304968 cites W2081739832 @default.
- W3001304968 cites W2086159557 @default.
- W3001304968 cites W2086747974 @default.
- W3001304968 cites W2089961511 @default.
- W3001304968 cites W2104123731 @default.
- W3001304968 cites W2109883071 @default.
- W3001304968 cites W2121757274 @default.
- W3001304968 cites W2158942489 @default.
- W3001304968 cites W2159909984 @default.
- W3001304968 cites W2160221808 @default.
- W3001304968 cites W2162513837 @default.
- W3001304968 cites W2183434188 @default.
- W3001304968 cites W2249101577 @default.
- W3001304968 cites W2586499098 @default.
- W3001304968 cites W2886587476 @default.
- W3001304968 cites W2907937870 @default.
- W3001304968 cites W2912121759 @default.
- W3001304968 cites W2912818154 @default.
- W3001304968 cites W2998693047 @default.
- W3001304968 cites W3014530061 @default.
- W3001304968 cites W3106193350 @default.
- W3001304968 hasPublicationYear "2020" @default.
- W3001304968 type Work @default.
- W3001304968 sameAs 3001304968 @default.
- W3001304968 citedByCount "0" @default.
- W3001304968 crossrefType "posted-content" @default.
- W3001304968 hasAuthorship W3001304968A5012405891 @default.
- W3001304968 hasAuthorship W3001304968A5013710541 @default.
- W3001304968 hasAuthorship W3001304968A5029479330 @default.
- W3001304968 hasConcept C111472728 @default.
- W3001304968 hasConcept C113174947 @default.
- W3001304968 hasConcept C114614502 @default.
- W3001304968 hasConcept C121332964 @default.
- W3001304968 hasConcept C1276947 @default.
- W3001304968 hasConcept C134306372 @default.
- W3001304968 hasConcept C134400042 @default.
- W3001304968 hasConcept C138885662 @default.
- W3001304968 hasConcept C154690210 @default.
- W3001304968 hasConcept C199360897 @default.
- W3001304968 hasConcept C2780586882 @default.
- W3001304968 hasConcept C2780897414 @default.
- W3001304968 hasConcept C33923547 @default.
- W3001304968 hasConcept C41008148 @default.
- W3001304968 hasConcept C61797465 @default.
- W3001304968 hasConcept C80444323 @default.
- W3001304968 hasConceptScore W3001304968C111472728 @default.
- W3001304968 hasConceptScore W3001304968C113174947 @default.
- W3001304968 hasConceptScore W3001304968C114614502 @default.
- W3001304968 hasConceptScore W3001304968C121332964 @default.
- W3001304968 hasConceptScore W3001304968C1276947 @default.
- W3001304968 hasConceptScore W3001304968C134306372 @default.
- W3001304968 hasConceptScore W3001304968C134400042 @default.
- W3001304968 hasConceptScore W3001304968C138885662 @default.
- W3001304968 hasConceptScore W3001304968C154690210 @default.
- W3001304968 hasConceptScore W3001304968C199360897 @default.
- W3001304968 hasConceptScore W3001304968C2780586882 @default.
- W3001304968 hasConceptScore W3001304968C2780897414 @default.
- W3001304968 hasConceptScore W3001304968C33923547 @default.
- W3001304968 hasConceptScore W3001304968C41008148 @default.
- W3001304968 hasConceptScore W3001304968C61797465 @default.
- W3001304968 hasConceptScore W3001304968C80444323 @default.
- W3001304968 hasLocation W30013049681 @default.
- W3001304968 hasOpenAccess W3001304968 @default.
- W3001304968 hasPrimaryLocation W30013049681 @default.
- W3001304968 hasRelatedWork W1534684929 @default.
- W3001304968 hasRelatedWork W1916795416 @default.
- W3001304968 hasRelatedWork W2042714866 @default.
- W3001304968 hasRelatedWork W2132428429 @default.
- W3001304968 hasRelatedWork W2184756528 @default.