大会名称 |
---|
2007年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2007 |
発行日 |
2007/8/22 |
セッション番号 |
7A |
セッション名 |
プログラミング(2) |
講演日 |
2007/09/07 |
講演場所(会議室等) |
A会場(21号館1階 2111教室) |
講演番号 |
LA-008 |
タイトル |
実行可能な代数仕様の停止性証明について |
著者名 |
中村 正樹, 二木 厚吉, |
キーワード |
抄録 |
本文pdf |
PDF download (109.4KB) |