岩月 宏泰 | 公立大学法人青森県立保健大学大学院

スポンサーリンク

概要

• 岩月 宏泰の詳細を見る
• 同名の論文著者
• 公立大学法人青森県立保健大学大学院の論文著者

論文 | ランダム

• 項書き換えシステムのモジュラ性
• 重なりのある強逐次系のインデックス簡約について
• 項書き換え系のパーシステント性の順序付きソートによる拡張
• Extending persistency of confluence with ordered sorts
• Top-down labelling and modularity of term rewriting systems

もっと見る

スポンサーリンク