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
Link To Document