Nobuo Kawaguchi : Research Activities
河口研の研究成果です。資料をダウンロードして利用する場合、河口までご連絡いただけると幸いです。 連絡先 : kawaguti[at]nagoya-u.jp
| 番号 | 97 |
| 著者 | 渡辺啓嗣, 河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善 |
| タイトル | 依存対に基づく高階項書換え系の停止性証明 |
| 掲載誌等 | 電子情報通信学会議技術研究報告 |
| VolNo.等 | SS97-85 |
| ページfrom | 63 |
| ページto | 70 |
| 発表・掲載日 | None |
| ファイル（PDF） | |
| ダウンロード数 | |
| 言語 | 日本語 |
| 開催地 | |
| 出版社 | |
| 種別 | 研究会等 |
| YouTube | |
| 備考 |