| |
| 2007 | ||
|---|---|---|
| 3 | EE | Keiichirou Kusakari, Yuki Chiba: A Higher-Order Knuth-Bendix Procedure and Its Applications. IEICE Transactions 90-D(4): 707-715 (2007) |
| 2006 | ||
| 2 | EE | Yuki Chiba, Takahito Aoto: RAPT: A Program Transformation System Based on Term Rewriting. RTA 2006: 267-276 |
| 2005 | ||
| 1 | EE | Yuki Chiba, Takahito Aoto, Yoshihito Toyama: Program transformation by templates based on term rewriting. PPDP 2005: 59-69 |
| 1 | Takahito Aoto | [1] [2] |
| 2 | Keiichirou Kusakari | [3] |
| 3 | Yoshihito Toyama | [1] |