Nobuo Kawaguchi : Research Activities
河口研の研究成果です。資料をダウンロードして利用する場合、河口までご連絡いただけると幸いです。 連絡先 : kawaguti[at]nagoya-u.jp
| 番号 | 122 |
| 著者 | Nobuo Kawaguchi, Toshiki Sakabe, and Yasuyoshi Inagaki |
| タイトル | TERSE:A Visual Environment for Supporting Analysis |
| 掲載誌等 | Verification and Transformation of Term Rewriting Systems,in Proceedings of AMAST'96,LNCS1101 |
| VolNo.等 | LNCS 1101 |
| ページfrom | 571 |
| ページto | 574 |
| 発表・掲載日 | 2005-06-09 |
| ファイル（PDF） | LNCS1101-TERSE.pdf (448KB) |
| ダウンロード数 | 60 |
| 言語 | 英語 |
| 開催地 | |
| 出版社 | Springer |
| 種別 | 国際会議 |
| YouTube | |
| 備考 | http://dx.doi.org/10.1007/BFb0014344 |