必須呼びが正規化戦略となるあいまいな線形項書き換えシステムのクラス
スポンサーリンク
概要
著者
関連論文
- 項書き換え系のための並列計算機アーキテクチャ
- タビュレーション再帰法と項書換え系の等価変換への応用
- 項書き換えによる関数型プログラミング (関数型プログラミングとその応用)
- 連続動作代数に基づく項書換え系の意味論(計算アルゴリズムと計算量の基礎理論)
- 項書換え系とその保存的拡大における代数的意味論と動作意味論の関連について
- 項書換え系の意味論と自由連続代数
- Approximation Reduction and Approximation Rules of Term Rewriting Systems
- 項書き換えシステムの束論的意味論について(アルゴリズムの数学的基礎理論とその応用)
- 必須呼びが正規化戦略となるあいまいな線形項書き換えシステムのクラス