Title of article

Automating the dependency pair method

Author/Authors

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

Issue Information

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

Pages

28

From page

172

To page

199

Keywords

term rewriting , Termination , Dependency pair method

Journal title

Information and Computation

Serial Year

2005

Journal title

Information and Computation

Record number

262291