悠久の歴史をきざむ三峡--『三国志』の乱世をかけ抜けた英雄たちの舞台 (帰らざる三峡)

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

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

もっと見る

スポンサーリンク