Title of article
Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy
Author/Authors
Alfons Geser، نويسنده , , Aart Middeldorp، نويسنده , , Enno Ohlebusch، نويسنده , , Hans Zantema، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
17
From page
132
To page
148
Keywords
undecidability. , confluence , term rewriting
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262082
Link To Document