Title of article

Extending reduction orderings to ACU-compatible reduction orderings

Author/Authors

Uwe Waldmann، نويسنده ,

Issue Information

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

Pages

7

From page

43

To page

49

Keywords

Automatic theorem proving , Tcrm rewriting , Abelian monoids , Termination

Journal title

Information Processing Letters

Serial Year

1998

Journal title

Information Processing Letters

Record number

128915