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