مرکز منطقه ای اطلاع رساني علوم و فناوري - Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy

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 :

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 :