無限項書き換えシステムにおける性質に関する考察 (代数と言語のアルゴリズムと計算理論)
スポンサーリンク
概要
著者
関連論文
- 左線形かつ$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)
- 組合せ子の非循環性と関連する性質について
- 項書き換えシステムの合流性自動判定
- A-033 S式書き換えシステムの停止性を保証するカリー化について(モデル・アルゴリズム・プログラミング,一般論文)
- 木準同型写像を用いた項パターンマッチング
- 反証機能付き書き換え帰納法のための補題自動生成法
- Persistence of Termination for Non-Overlapping Term Rewriting Systems (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
- LA-009 項書き換えシステムの合流性自動判定(モデル・アルゴリズム・プログラミング)
- A-011 An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited
- A-034 Persistence of Termination for Non-Overlapping Term Rewriting Systems
- LA-002 パターンに基づくプログラム変換における列変数の導入(A分野:モデル・アルゴリズム・プログラミング)
- A-032 多重Knuth-Bendix完備化における危険対除去手法の導入(モデル・アルゴリズム・プログラミング,一般論文)
- A-034 基底項書き換え系の合流性自動判定(モデル・アルゴリズム・プログラミング,一般論文)
- A-011 組合せ子の強収束性(モデル・アルゴリズム・プログラミング,一般論文)
- 修正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
- 無限項書き換えシステムにおける性質に関する考察 (代数と言語のアルゴリズムと計算理論)
- On maximal local subgroups of finite simple groups (有限単純群の研究とその周辺 研究集会報告集)