Title of article :
Operational termination of conditional term rewriting systems
Author/Authors :
Salvador Lucas، نويسنده , , Claude Marché، نويسنده , , José Meseguer، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2005
Pages :
8
From page :
446
To page :
453
Keywords :
Termination , programming languages , Program analysis , Conditional term rewriting
Journal title :
Information Processing Letters
Serial Year :
2005
Journal title :
Information Processing Letters
Record number :
130120
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=130120
بازگشت