11 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 19-Aug-1996 | Top-down labelling and modularity of term rewriting systems | Aoto, Takahito; Toyama, Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト |
| 29-Aug-1996 | Extending persistency of confluence with ordered sorts | Aoto, Takahito; Toyama, Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト |
| 1-Aug-1997 | Tree lifting orderings for termination transformations of term rewriting systems | Aoto, Takahito; Toyama, Yoshihito |
| 20-Oct-1998 | Simplification ordering for higher-order rewrite systems | Iwami, Munehiro; Toyama, Yoshihito |
| 26-Oct-1998 | On proving Ac-termination by AC-dependency pairs | Kusakari, Keiichirou; Toyama, Yoshihito |
| 8-Dec-1998 | Decidability for left-linear growing term rewriting systems | Nagaya, Takashi; Toyama, Yoshihito |
| 23-Mar-1999 | On proving AC-termination by argument filtering method | Kusakari, Keiichirou; Toyama, Yoshihito |
| 23-Mar-1999 | The hierarchy of dependency pairs | Kusakari, Keiichirou; Toyama, Yoshihito |
| 23-Mar-1999 | Argument filtering transformation | Kusakari, Keiichirou; Nakamura, Masaki; Toyama, Yoshihito |
| 15-Jan-2008 | Automatic Construction of Program Transformation Templates | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 1-May-2010 | Program Transformation Templates for Tupling Based on Term Rewriting | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
