大会名称 |
---|
2005年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2005 |
発行日 |
2005/8/22 |
セッション番号 |
2J |
セッション名 |
コンピュテーション |
講演日 |
2005/09/07 |
講演場所(会議室等) |
J会場(6号館3階 6317教室) |
講演番号 |
A-011 |
タイトル |
An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited |
著者名 |
岩見 宗弘, |
キーワード |
抄録 |
本文pdf |
PDF download (175.3KB) |