Semantics and strong sequentiality of priority term rewriting systems

Masahiko Sakai, Yoshihito Toyama

研究成果: Article査読

6 被引用数 (Scopus)

抄録

This paper gives an operational semantics of priority term rewriting systems (PRSs) by using conditional systems, whose reduction relation is decidable and stable under substitution. We also define the class of strongly sequential PRSs and show that this class is decidable. Moreover, we show that the index rewriting of strongly sequential PRSs gives a normalizing strategy.

本文言語English
ページ(範囲)87-110
ページ数24
ジャーナルTheoretical Computer Science
208
1-2
DOI
出版ステータスPublished - 1998 11 28

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

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

引用スタイル