Title of article :
Root-neededness and approximations of neededness
Author/Authors :
Salvador Lucas، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1998
Keywords :
Root-neededness , Neededness , Sequentiality , strategies , Term rewriting
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
