Title of article :
Remarks on Thatte’s transformation of term rewriting systems
Author/Authors :
Bas Luttik، نويسنده , , Piet Rodenburg، نويسنده , , Rakesh Verma، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Pages :
22
From page :
66
To page :
87
Keywords :
erm rewriting , Constructor-based system , Thatte’s transformation
Journal title :
Information and Computation
Serial Year :
2004
Journal title :
Information and Computation
Record number :
262265
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262265
بازگشت