Title of article
Type introduction for equational rewriting
Author/Authors
Aart Middeldorp and Hitoshi Ohsaki ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
23
From page
1007
To page
1029
Journal title
acta Informatica
Serial Year
2000
Journal title
acta Informatica
Record number
287693
Link To Document