Termination for the direct sum of left-linear term rewriting systems: Preliminary draft

Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt

Research output: Chapter in Book/Report/Conference proceedingConference contribution

46 Citations (Scopus)

Abstract

The direct sum of two term rewriting systems is the union of systems having disjoint sets of function symbols. It is shown that two term rewriting systems both are left-linear and complete if and only if the direct sum of these systems is so.

Original languageEnglish
Title of host publicationRewriting Techniques and Applications - 3rd International Conference, RTA 1989
EditorsNachum Dershowitz
PublisherSpringer-Verlag
Pages477-491
Number of pages15
ISBN (Print)9783540510819
DOIs
Publication statusPublished - 1989 Jan 1
Event3rd International Conference on Rewriting Techniques and Applications, RTA 1989 - Chapel Hill, United States
Duration: 1989 Apr 31989 Apr 5

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume355 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Conference on Rewriting Techniques and Applications, RTA 1989
CountryUnited States
CityChapel Hill
Period89/4/389/4/5

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Termination for the direct sum of left-linear term rewriting systems: Preliminary draft'. Together they form a unique fingerprint.

Cite this