応答時間に着目した静的な処理分散法の提案と実現

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 大衆路線の確立のために
• 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け(基礎理論,フォーマルアプローチ論文)
• 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
• LA-001 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法(A分野:モデル・アルゴリズム・プログラミング)
• 強計算性に基づいた単純型項書換え系の停止性証明法

もっと見る

スポンサーリンク