Title of article :
Relative Undecidability in Term Rewriting: I. The Termination Hierarchy
Author/Authors :
Alfons Geser، نويسنده , , Aart Middeldorp، نويسنده , , Enno Ohlebusch، نويسنده , , Hans Zantema، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
term rewriting , undecidability. , Termination
Journal title :
Information and Computation
Journal title :
Information and Computation
