Title of article :
Proving termination of context-sensitive rewriting by transformation
Author/Authors :
Salvador Lucas، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
Context-sensitive rewriting , Program analysis , Term rewriting , Termination , Transformations
Journal title :
Information and Computation
Journal title :
Information and Computation
