مرکز منطقه ای اطلاع رساني علوم و فناوري - On proving CE-termination of rewriting by size-change termination

Title of article :

On proving CE-termination of rewriting by size-change termination

Author/Authors :

Mirtha-Lina Fern?ndez، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2005

Pages :

From page :

155

To page :

162

Keywords :

Program correctness , Term rewriting , Termination

Journal title :

Information Processing Letters

Serial Year :

2005

Journal title :

Information Processing Letters

Record number :

130029

Link To Document :