مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Termination of {aa→bc,bb→ac,cc→ab}

Author/Authors :

Dieter Hofbauer، نويسنده , , Johannes Waldmann، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2006

Pages :

From page :

156

To page :

158

Keywords :

Automatic theorem proving , Termination , String rewriting

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130243

Link To Document :