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] |