高階項書換え系の停止性に関する研究

• 研究課題/領域番号: 12780229
• 研究種目: 奨励研究(A)
• 配分区分: 補助金
• 研究分野: 計算機科学
• 研究機関: 島根大学
• 研究代表者: 岩見 宗弘 島根大, 総合理工学部, 助手 (70314614)
• 研究期間 (年度): 2000
• 研究課題ステータス: 完了 (2000年度)
• 配分額: 1,100千円 (直接経費: 1,100千円); 2000年度: 1,100千円 (直接経費: 1,100千円)