Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Takashi Nagaya, Yoshihito Toyama. Decidability for Left-Linear Growing Term Rewriting Systems. Inf. Comput., 178(2):499-514, 2002. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Decidability for Left-Linaer Growing Term Rewriting SystemsTakashi Nagaya, Yoshihito Toyama. RTA 1999: 256-270 [doi] Reduction Strategies for Left-Linear Term Rewriting SystemsYoshihito Toyama. BIRTHDAY 2005: 198-223 [doi] Strong Sequentiality of Left-Linear Overlapping Term Rewriting SystemsYoshihito Toyama. lics 1992: 274-284
The following publications are possibly variants of this publication: