Matches in SemOpenAlex for { <https://semopenalex.org/work/W1918457989> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1918457989 endingPage "193" @default.
- W1918457989 startingPage "175" @default.
- W1918457989 abstract "The problem of termination of a set R of rules modulo a set E of equations, called E-termination problem, arises when trying to complete the set of rules in order to get a Church-Rosser property for the rules modulo the equations. We first show here that termination of the rewriting relation and E-termination are the same whenever the used rewriting relation is E-commuting, a property inspired from Peterson and Stickel’s E-compatibility property. More precisely, their results can be obtained by requiring termination of the rewriting relation instead of E-termination if E-commutation is used instead of E-compatibility. When the rewriting relation is not E-commuting, we show how to reduce E-termination for the starting set of rules to classical termination of the rewriting relation of an extended set of rules that has the E-commutation property. This set can be classicaly constructed by computing critical pairs or extended pairs between rules and equations, according to the used rewriting relation. In addition we show that different orderings can be used for the starting set of rules and the added critical or extended pairs. Interesting issues for further research are also discussed." @default.
- W1918457989 created "2016-06-24" @default.
- W1918457989 creator A5004958754 @default.
- W1918457989 creator A5072836934 @default.
- W1918457989 date "1984-01-01" @default.
- W1918457989 modified "2023-09-27" @default.
- W1918457989 title "Termination of a Set of Rules Modulo a Set of Equations" @default.
- W1918457989 cites W1979101142 @default.
- W1918457989 cites W2024390796 @default.
- W1918457989 cites W2051566614 @default.
- W1918457989 cites W2056016391 @default.
- W1918457989 cites W2086747974 @default.
- W1918457989 cites W2090541423 @default.
- W1918457989 doi "https://doi.org/10.1007/978-0-387-34768-4_11" @default.
- W1918457989 hasPublicationYear "1984" @default.
- W1918457989 type Work @default.
- W1918457989 sameAs 1918457989 @default.
- W1918457989 citedByCount "20" @default.
- W1918457989 countsByYear W19184579892021 @default.
- W1918457989 crossrefType "book-chapter" @default.
- W1918457989 hasAuthorship W1918457989A5004958754 @default.
- W1918457989 hasAuthorship W1918457989A5072836934 @default.
- W1918457989 hasConcept C111472728 @default.
- W1918457989 hasConcept C11413529 @default.
- W1918457989 hasConcept C118615104 @default.
- W1918457989 hasConcept C124101348 @default.
- W1918457989 hasConcept C138885662 @default.
- W1918457989 hasConcept C154690210 @default.
- W1918457989 hasConcept C177264268 @default.
- W1918457989 hasConcept C189950617 @default.
- W1918457989 hasConcept C199360897 @default.
- W1918457989 hasConcept C25343380 @default.
- W1918457989 hasConcept C33923547 @default.
- W1918457989 hasConcept C41008148 @default.
- W1918457989 hasConcept C54732982 @default.
- W1918457989 hasConcept C77906462 @default.
- W1918457989 hasConceptScore W1918457989C111472728 @default.
- W1918457989 hasConceptScore W1918457989C11413529 @default.
- W1918457989 hasConceptScore W1918457989C118615104 @default.
- W1918457989 hasConceptScore W1918457989C124101348 @default.
- W1918457989 hasConceptScore W1918457989C138885662 @default.
- W1918457989 hasConceptScore W1918457989C154690210 @default.
- W1918457989 hasConceptScore W1918457989C177264268 @default.
- W1918457989 hasConceptScore W1918457989C189950617 @default.
- W1918457989 hasConceptScore W1918457989C199360897 @default.
- W1918457989 hasConceptScore W1918457989C25343380 @default.
- W1918457989 hasConceptScore W1918457989C33923547 @default.
- W1918457989 hasConceptScore W1918457989C41008148 @default.
- W1918457989 hasConceptScore W1918457989C54732982 @default.
- W1918457989 hasConceptScore W1918457989C77906462 @default.
- W1918457989 hasLocation W19184579891 @default.
- W1918457989 hasOpenAccess W1918457989 @default.
- W1918457989 hasPrimaryLocation W19184579891 @default.
- W1918457989 hasRelatedWork W1512556106 @default.
- W1918457989 hasRelatedWork W1513315908 @default.
- W1918457989 hasRelatedWork W1521250667 @default.
- W1918457989 hasRelatedWork W1598625331 @default.
- W1918457989 hasRelatedWork W196782186 @default.
- W1918457989 hasRelatedWork W1968386045 @default.
- W1918457989 hasRelatedWork W1979101142 @default.
- W1918457989 hasRelatedWork W1991856459 @default.
- W1918457989 hasRelatedWork W1994958005 @default.
- W1918457989 hasRelatedWork W1999927144 @default.
- W1918457989 hasRelatedWork W2014030742 @default.
- W1918457989 hasRelatedWork W2042924775 @default.
- W1918457989 hasRelatedWork W2056016391 @default.
- W1918457989 hasRelatedWork W2083977009 @default.
- W1918457989 hasRelatedWork W2086747974 @default.
- W1918457989 hasRelatedWork W2121757274 @default.
- W1918457989 hasRelatedWork W2126018011 @default.
- W1918457989 hasRelatedWork W2912009403 @default.
- W1918457989 hasRelatedWork W2912818154 @default.
- W1918457989 hasRelatedWork W55064848 @default.
- W1918457989 isParatext "false" @default.
- W1918457989 isRetracted "false" @default.
- W1918457989 magId "1918457989" @default.
- W1918457989 workType "book-chapter" @default.