مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Context-Sensitive Rewriting Strategies

Author/Authors :

Salvador Lucas، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2002

Pages :

From page :

294

To page :

343

Keywords :

infinitary normalization , Normalization , root normalization , sequentiality , strategies , term rewriting. , replacement restrictions

Journal title :

Information and Computation

Serial Year :

2002

Journal title :

Information and Computation

Record number :

262090

Link To Document :