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
Pages
31
From page
101
To page
131
Keywords
term rewriting , undecidability. , Termination
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262081
Link To Document