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.
Type de document :
Rapport
[Research Report] RR-0679, INRIA. 1987, pp.10
Liste complète des métadonnées

https://hal.inria.fr/inria-00075874
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 19:30:21
Dernière modification le : samedi 17 septembre 2016 - 01:06:54
Document(s) archivé(s) le : vendredi 13 mai 2011 - 16:02:10

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

90

Téléchargements de fichiers

61