A-011 An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited
スポンサーリンク
概要
- 論文の詳細を見る
Simplification orderings, like the recursive path ordering and the improved recursive decomposition ordering, are widely used for proving the termination property of term rewriting systems. The improved recursive decomposition ordering is known as the most powerful simplification ordering. In this paper, we investigate the improved recursive decomposition ordering for proving termination of term rewriting systems. We completely show that the improved recursive decomposition ordering is closed under substitutions.
- FIT(電子情報通信学会・情報処理学会)推進委員会の論文
- 2005-08-22
著者
関連論文
- 左線形かつ$K$-開発閉包な項書換えシステムの合流性に関する考察 (代数と言語のアルゴリズムと計算理論)
- 組合せ子 $L$ の非循環性とその応用(代数、形式言語、計算システム理論とその応用)
- 不動点組合せ子の非循環性と関連する性質について (代数系アルゴリズムと言語および計算理論)
- 組合せ子$O$の非基礎ループ性 (証明論と論理・計算の構造)
- 組合せ子の非循環性と非停止性 (代数、言語のアルゴリズムと計算理論)
- 組合せ子の非循環性について
- 左線形かつK-開発閉包な項書換えシステムの合流性(研究速報)
- LA-007 組合せ子Lの非循環性(モデル・アルゴリズム・プログラミング)
- $K$- 開発閉包な左線形項書換えシステムの合流性(計算機科学の理論とその応用)
- An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited (Theoretical Computer Science and its Applications)
- Persistence of Termination for Overlay Term Rewriting Systems (Evolutionary Advancement in Fundamental Theories of Computer Science)
- 組合せ子の非循環性と関連する性質について
- Persistence of Termination for Non-Overlapping Term Rewriting Systems (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
- A-011 An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited
- A-034 Persistence of Termination for Non-Overlapping Term Rewriting Systems
- A-011 組合せ子の強収束性(モデル・アルゴリズム・プログラミング,一般論文)
- 無限項書き換えシステムにおける性質に関する考察 (代数と言語のアルゴリズムと計算理論)