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
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=130023
بازگشت