On termination of the direct sum of term rewriting systems

Abstract : Some sufficient conditions are given for the termination of the direct sum of two term rewriting systems: either no right-hand-side of a rule is a variable, or no right-hand-side contains more occurences of a variable than the corresponding left-hand-side.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00075874
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 7:30:21 PM
Last modification on : Saturday, September 17, 2016 - 1:06:54 AM
Long-term archiving on : Friday, May 13, 2011 - 4:02:10 PM

Identifiers

  • HAL Id : inria-00075874, version 1

Collections

Citation

Michaël Rusinowitch. On termination of the direct sum of term rewriting systems. [Research Report] RR-0679, INRIA. 1987, pp.10. ⟨inria-00075874⟩

Share

Metrics

Record views

109

Files downloads

134