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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262291
بازگشت