項書き換え系のパーシステント性の順序付きソートによる拡張
スポンサーリンク
概要
- 論文の詳細を見る
性質Pを項書き換え系の性質とする。任意の項書き換え系<F,R>とRに無矛盾なソート付けrについて、性質Pが<F^r,R^r>において成立することと性質Pが<F,R>において成立することが同等であるとき、その性質Pはパーシステントであるという。ここで、<F^r,R^r>は<F,R>から得られた、ソート付けされた項書き換え系とする。多ソート項書き換え系は順序付きソートによって拡張される。ここでは, 合流性のパーシステント性がこの拡張によって保存されることが示される。更に, これを利用して, 合流性のモジュラ性についての新たな結果が与えられる。
- 1996-09-17
著者
関連論文
- 項書き換えシステムの合流性自動判定
- A-033 S式書き換えシステムの停止性を保証するカリー化について(モデル・アルゴリズム・プログラミング,一般論文)
- 木準同型写像を用いた項パターンマッチング
- 反証機能付き書き換え帰納法のための補題自動生成法
- LA-009 項書き換えシステムの合流性自動判定(モデル・アルゴリズム・プログラミング)
- Uniqueness of normal proofs in {→,∧}-fragment of NJ
- 高階項書換え系における改良再帰分解順序について
- 高階項書換え系の停止性について
- LA-002 パターンに基づくプログラム変換における列変数の導入(A分野:モデル・アルゴリズム・プログラミング)
- 依存対を用いた文脈依存書換え系の停止性判定について
- 消去法による項書換え系の停止性判定について
- 消去法による項書換え系の停止性判定について
- A-032 多重Knuth-Bendix完備化における危険対除去手法の導入(モデル・アルゴリズム・プログラミング,一般論文)
- A-034 基底項書き換え系の合流性自動判定(モデル・アルゴリズム・プログラミング,一般論文)
- 項書換え系の合流性を保存する合併条件について
- 依存対を利用したAC停止性の証明法
- 修正AC単調意味論経路順序によるAC停止性
- 修正AC単調意味論経路順序によるAC停止性
- 優先順序付き書き換えの計算モデル
- 条件付き項書換え系の合流性について
- 重なりのある強逐次系のインデックス簡約について
- 項書き換え系のパーシステント性の順序付きソートによる拡張
- Extending persistency of confluence with ordered sorts
- Top-down labelling and modularity of term rewriting systems
- Persistency of confluence
- Persistency of confluence
- 単純右線形項書換えシステムの合流性について
- 条件付き項書換え系の合流性について
- NVNF-逐次系におけるインデックスの決定可能性
- E重なりのある単純右線形項書き換えシステムの合流性について
- 無限項書き換えシステムにおける性質に関する考察 (代数と言語のアルゴリズムと計算理論)
- Unique normal proof property for implicational minimal formulas in the intuitionistic logic