Title of article
Proof Lengths for Equational Completion
Author/Authors
David A. Plaisted، نويسنده , , Andrea Sattler-Klein، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
17
From page
154
To page
170
Journal title
Information and Computation
Serial Year
1996
Journal title
Information and Computation
Record number
261639
Link To Document