On termination of the direct sum of term rewriting systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1987

On termination of the direct sum of term rewriting systems

Michaël Rusinowitch

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-0679.pdf (507.73 Ko) Télécharger le fichier

Dates and versions

inria-00075874 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00075874 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More