Title of article
Root-neededness and approximations of neededness
Author/Authors
Salvador Lucas، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1998
Pages
10
From page
245
To page
254
Keywords
Root-neededness , Neededness , Sequentiality , strategies , Term rewriting
Journal title
Information Processing Letters
Serial Year
1998
Journal title
Information Processing Letters
Record number
128946
Link To Document