| |
| 2002 | ||
|---|---|---|
| 2 | EE | Takashi Nagaya, Yoshihito Toyama: Decidability for Left-Linear Growing Term Rewriting Systems. Inf. Comput. 178(2): 499-514 (2002) |
| 1999 | ||
| 1 | EE | Takashi Nagaya, Yoshihito Toyama: Decidability for Left-Linaer Growing Term Rewriting Systems. RTA 1999: 256-270 |
| 1 | Yoshihito Toyama | [1] [2] |