Title of article :
Decidability for Left-Linear Growing Term Rewriting Systems
Author/Authors :
Takashi Nagaya، نويسنده , , Yoshihito Toyama، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
growing term rewriting system , reachability , Sequentiality , joinability.
Journal title :
Information and Computation
Journal title :
Information and Computation
