Title of article
Normalization Results for Typeable Rewrite Systems
Author/Authors
Steffen van Bakel، نويسنده , , Maribel Fernandez، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
44
From page
73
To page
116
Journal title
Information and Computation
Serial Year
1997
Journal title
Information and Computation
Record number
261704
Link To Document