Strong sequentiality of left-linear overlapping term rewriting systems

Yoshihito Toyama

研究成果: Conference contribution

26 被引用数 (Scopus)

抄録

G. Huet and J. J. Levy (INRIA Rep. 359, 1979) showed that for every strongly sequential orthogonal (i.e., left-linear and non-overlapping) term rewriting system, index reduction strategy is normalizing. Their result is extended to overlapping term rewriting systems. It is shown that index reduction is normalizing for the class of strongly sequential left-linear term rewriting systems in which every critical pair can be joined with root balanced reductions. This class includes all weakly orthogonal left-normal systems, for which a leftmost-outermost reduction strategy is normalizing.

本文言語English
ホスト出版物のタイトルProceedings - Symposium on Logic in Computer Science
出版社Publ by IEEE
ページ274-284
ページ数11
ISBN(印刷版)0818627352
出版ステータスPublished - 1992 6 1
イベントProceedings of the 7th Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA
継続期間: 1992 6 221992 6 25

出版物シリーズ

名前Proceedings - Symposium on Logic in Computer Science

Other

OtherProceedings of the 7th Annual IEEE Symposium on Logic in Computer Science
CitySanta Cruz, CA, USA
Period92/6/2292/6/25

ASJC Scopus subject areas

  • ソフトウェア
  • 数学 (全般)

フィンガープリント

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

引用スタイル