女性に対する暴力の問題--フランスの論争から (特集 ジェンダーと人権)

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

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

もっと見る

スポンサーリンク