Matches in SemOpenAlex for { <https://semopenalex.org/work/W2385598577> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2385598577 abstract "Well-foundedness is related to an important property of rewriting systems, namely termination. A well-known technique to prove well-foundedness on term orderings is Kruskal's theorem, which implies that a monotonic term ordering over a finite signature satisfying the subterm property is well-founded. However, it does not seem to work for a number of terminating term rewriting systems. In this paper, it is shown that a term ordering possessing subterm property and decomposability ( in place of monotonicity) does yield a simpler proof of well-foundedness for terminating term rewriting systems than the techniques depending on Kruskal's theorem." @default.
- W2385598577 created "2016-06-24" @default.
- W2385598577 creator A5006432510 @default.
- W2385598577 creator A5042389002 @default.
- W2385598577 date "2013-01-01" @default.
- W2385598577 modified "2023-09-22" @default.
- W2385598577 title "Well-foundedness for termination of term rewriting systems" @default.
- W2385598577 cites W1583295953 @default.
- W2385598577 cites W2018765574 @default.
- W2385598577 cites W2076972393 @default.
- W2385598577 cites W2086747974 @default.
- W2385598577 cites W2109883071 @default.
- W2385598577 cites W2121757274 @default.
- W2385598577 cites W2163841074 @default.
- W2385598577 cites W2165176212 @default.
- W2385598577 cites W2751063908 @default.
- W2385598577 cites W2912818154 @default.
- W2385598577 cites W3008473750 @default.
- W2385598577 doi "https://doi.org/10.12988/ams.2013.33191" @default.
- W2385598577 hasPublicationYear "2013" @default.
- W2385598577 type Work @default.
- W2385598577 sameAs 2385598577 @default.
- W2385598577 citedByCount "0" @default.
- W2385598577 crossrefType "journal-article" @default.
- W2385598577 hasAuthorship W2385598577A5006432510 @default.
- W2385598577 hasAuthorship W2385598577A5042389002 @default.
- W2385598577 hasConcept C111472728 @default.
- W2385598577 hasConcept C118615104 @default.
- W2385598577 hasConcept C121332964 @default.
- W2385598577 hasConcept C134306372 @default.
- W2385598577 hasConcept C138885662 @default.
- W2385598577 hasConcept C154690210 @default.
- W2385598577 hasConcept C159333733 @default.
- W2385598577 hasConcept C189950617 @default.
- W2385598577 hasConcept C199360897 @default.
- W2385598577 hasConcept C2524010 @default.
- W2385598577 hasConcept C2779696439 @default.
- W2385598577 hasConcept C33923547 @default.
- W2385598577 hasConcept C41008148 @default.
- W2385598577 hasConcept C61797465 @default.
- W2385598577 hasConcept C62520636 @default.
- W2385598577 hasConcept C72169020 @default.
- W2385598577 hasConcept C77906462 @default.
- W2385598577 hasConceptScore W2385598577C111472728 @default.
- W2385598577 hasConceptScore W2385598577C118615104 @default.
- W2385598577 hasConceptScore W2385598577C121332964 @default.
- W2385598577 hasConceptScore W2385598577C134306372 @default.
- W2385598577 hasConceptScore W2385598577C138885662 @default.
- W2385598577 hasConceptScore W2385598577C154690210 @default.
- W2385598577 hasConceptScore W2385598577C159333733 @default.
- W2385598577 hasConceptScore W2385598577C189950617 @default.
- W2385598577 hasConceptScore W2385598577C199360897 @default.
- W2385598577 hasConceptScore W2385598577C2524010 @default.
- W2385598577 hasConceptScore W2385598577C2779696439 @default.
- W2385598577 hasConceptScore W2385598577C33923547 @default.
- W2385598577 hasConceptScore W2385598577C41008148 @default.
- W2385598577 hasConceptScore W2385598577C61797465 @default.
- W2385598577 hasConceptScore W2385598577C62520636 @default.
- W2385598577 hasConceptScore W2385598577C72169020 @default.
- W2385598577 hasConceptScore W2385598577C77906462 @default.
- W2385598577 hasLocation W23855985771 @default.
- W2385598577 hasOpenAccess W2385598577 @default.
- W2385598577 hasPrimaryLocation W23855985771 @default.
- W2385598577 hasRelatedWork W134162085 @default.
- W2385598577 hasRelatedWork W1489669703 @default.
- W2385598577 hasRelatedWork W1506290338 @default.
- W2385598577 hasRelatedWork W1520909274 @default.
- W2385598577 hasRelatedWork W1541376699 @default.
- W2385598577 hasRelatedWork W1868460197 @default.
- W2385598577 hasRelatedWork W1876432474 @default.
- W2385598577 hasRelatedWork W1926073124 @default.
- W2385598577 hasRelatedWork W1991557147 @default.
- W2385598577 hasRelatedWork W2007005677 @default.
- W2385598577 hasRelatedWork W2090855107 @default.
- W2385598577 hasRelatedWork W2097815595 @default.
- W2385598577 hasRelatedWork W2099801180 @default.
- W2385598577 hasRelatedWork W2129495011 @default.
- W2385598577 hasRelatedWork W2152494158 @default.
- W2385598577 hasRelatedWork W2164640126 @default.
- W2385598577 hasRelatedWork W2171284891 @default.
- W2385598577 hasRelatedWork W2803405845 @default.
- W2385598577 hasRelatedWork W42271597 @default.
- W2385598577 hasRelatedWork W1772195298 @default.
- W2385598577 isParatext "false" @default.
- W2385598577 isRetracted "false" @default.
- W2385598577 magId "2385598577" @default.
- W2385598577 workType "article" @default.