Title of article
Reduction strategies in rewriting and programming
Author/Authors
Bernhard Gramlich، نويسنده , , Salvador Lucas، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
3
From page
745
To page
747
Journal title
Journal of Symbolic Computation
Serial Year
2005
Journal title
Journal of Symbolic Computation
Record number
805859
Link To Document