Title of article

Relaxing monotonicity for innermost termination

Author/Authors

Mirtha-Lina Fern?ndez، نويسنده ,

Issue Information

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

Pages

7

From page

117

To page

123

Keywords

Program correctness , Term rewriting , Innermost termination

Journal title

Information Processing Letters

Serial Year

2005

Journal title

Information Processing Letters

Record number

130023