Title of article

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

Author/Authors

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

Issue Information

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

Pages

3

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