月経痛を探求する

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 項書き換えによる関数型プログラミング (関数型プログラミングとその応用)
• 連続動作代数に基づく項書換え系の意味論(計算アルゴリズムと計算量の基礎理論)
• 項書換え系とその保存的拡大における代数的意味論と動作意味論の関連について
• 項書換え系の意味論と自由連続代数
• Approximation Reduction and Approximation Rules of Term Rewriting Systems

もっと見る

スポンサーリンク