Takashi Nagaya

Publication Activity (10 Years)

Years Active: 1999-2002
Publications (10 Years): 0

Publications

Takashi Nagaya, Yoshihito Toyama
Decidability for Left-Linear Growing Term Rewriting Systems. Inf. Comput. 178 (2) (2002)
Takashi Nagaya, Yoshihito Toyama
Decidability for Left-Linaer Growing Term Rewriting Systems. RTA (1999)