Matches in SemOpenAlex for { <https://semopenalex.org/work/W2230258212> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2230258212 abstract "We propose an original approach to prove weak termination of innermost rewriting on ground term algebras, based on induction, abstraction and narrowing. The abstraction mechanism schematizes the application of the induction hypothesis on terms, and narrowing schematizes reductions. The induction relation, an F-stable ordering having the subterm property, is not given a priori, but its existence is checked along the proof, by testing satisfiability of ordering constraints. An extension of the method is given, where the information given by abstraction are memorized and used. Our method is more specific than methods proving strong termination of rewriting under strategies, which also give a weak termination proof for the standard rewriting. Indeed, ours can in addition handle TRSs that are not strongly innermost terminating." @default.
- W2230258212 created "2016-06-24" @default.
- W2230258212 creator A5015156763 @default.
- W2230258212 creator A5027851320 @default.
- W2230258212 creator A5034861143 @default.
- W2230258212 date "2002-01-01" @default.
- W2230258212 modified "2023-09-23" @default.
- W2230258212 title "Induction for weak termination" @default.
- W2230258212 hasPublicationYear "2002" @default.
- W2230258212 type Work @default.
- W2230258212 sameAs 2230258212 @default.
- W2230258212 citedByCount "0" @default.
- W2230258212 crossrefType "journal-article" @default.
- W2230258212 hasAuthorship W2230258212A5015156763 @default.
- W2230258212 hasAuthorship W2230258212A5027851320 @default.
- W2230258212 hasAuthorship W2230258212A5034861143 @default.
- W2230258212 hasConcept C111472728 @default.
- W2230258212 hasConcept C118615104 @default.
- W2230258212 hasConcept C121332964 @default.
- W2230258212 hasConcept C124101348 @default.
- W2230258212 hasConcept C124304363 @default.
- W2230258212 hasConcept C138885662 @default.
- W2230258212 hasConcept C154690210 @default.
- W2230258212 hasConcept C168773769 @default.
- W2230258212 hasConcept C189950617 @default.
- W2230258212 hasConcept C199360897 @default.
- W2230258212 hasConcept C25343380 @default.
- W2230258212 hasConcept C2778029271 @default.
- W2230258212 hasConcept C33923547 @default.
- W2230258212 hasConcept C41008148 @default.
- W2230258212 hasConcept C61797465 @default.
- W2230258212 hasConcept C62520636 @default.
- W2230258212 hasConcept C75553542 @default.
- W2230258212 hasConcept C77906462 @default.
- W2230258212 hasConceptScore W2230258212C111472728 @default.
- W2230258212 hasConceptScore W2230258212C118615104 @default.
- W2230258212 hasConceptScore W2230258212C121332964 @default.
- W2230258212 hasConceptScore W2230258212C124101348 @default.
- W2230258212 hasConceptScore W2230258212C124304363 @default.
- W2230258212 hasConceptScore W2230258212C138885662 @default.
- W2230258212 hasConceptScore W2230258212C154690210 @default.
- W2230258212 hasConceptScore W2230258212C168773769 @default.
- W2230258212 hasConceptScore W2230258212C189950617 @default.
- W2230258212 hasConceptScore W2230258212C199360897 @default.
- W2230258212 hasConceptScore W2230258212C25343380 @default.
- W2230258212 hasConceptScore W2230258212C2778029271 @default.
- W2230258212 hasConceptScore W2230258212C33923547 @default.
- W2230258212 hasConceptScore W2230258212C41008148 @default.
- W2230258212 hasConceptScore W2230258212C61797465 @default.
- W2230258212 hasConceptScore W2230258212C62520636 @default.
- W2230258212 hasConceptScore W2230258212C75553542 @default.
- W2230258212 hasConceptScore W2230258212C77906462 @default.
- W2230258212 hasOpenAccess W2230258212 @default.
- W2230258212 hasRelatedWork W1499262366 @default.
- W2230258212 hasRelatedWork W1535019406 @default.
- W2230258212 hasRelatedWork W1556299295 @default.
- W2230258212 hasRelatedWork W1558166004 @default.
- W2230258212 hasRelatedWork W1605543919 @default.
- W2230258212 hasRelatedWork W1614032901 @default.
- W2230258212 hasRelatedWork W2009477188 @default.
- W2230258212 hasRelatedWork W2012355197 @default.
- W2230258212 hasRelatedWork W205697980 @default.
- W2230258212 hasRelatedWork W2064305670 @default.
- W2230258212 hasRelatedWork W2086747974 @default.
- W2230258212 hasRelatedWork W2109883071 @default.
- W2230258212 hasRelatedWork W2159220954 @default.
- W2230258212 hasRelatedWork W2170552833 @default.
- W2230258212 hasRelatedWork W2296416587 @default.
- W2230258212 hasRelatedWork W2811149970 @default.
- W2230258212 hasRelatedWork W2913551129 @default.
- W2230258212 hasRelatedWork W50353898 @default.
- W2230258212 hasRelatedWork W1884307414 @default.
- W2230258212 hasRelatedWork W2585167136 @default.
- W2230258212 isParatext "false" @default.
- W2230258212 isRetracted "false" @default.
- W2230258212 magId "2230258212" @default.
- W2230258212 workType "article" @default.