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

Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt

研究成果: Conference contribution

45 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルRewriting Techniques and Applications - 3rd International Conference, RTA 1989
編集者Nachum Dershowitz
出版社Springer Verlag
ページ477-491
ページ数15
ISBN(印刷版)9783540510819
DOI
出版ステータスPublished - 1989
イベント3rd International Conference on Rewriting Techniques and Applications, RTA 1989 - Chapel Hill, United States
継続期間: 1989 4 31989 4 5

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
355 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)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)

フィンガープリント 「Termination for the direct sum of left-linear term rewriting systems: Preliminary draft」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル