مرکز منطقه ای اطلاع رساني علوم و فناوري - Tyrolean termination tool: Techniques and features

Title of article :

Tyrolean termination tool: Techniques and features

Author/Authors :

Nao Hirokawa، نويسنده , , Aart Middeldorp، نويسنده ,

Issue Information :

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

Pages :

From page :

474

To page :

511

Keywords :

term rewriting , Termination , Automation , Dependency pair method , Polynomial interpretations

Journal title :

Information and Computation

Serial Year :

2007

Journal title :

Information and Computation

Record number :

262396

Link To Document :