Title of article

Derivation Trees of Ground Term Rewriting Systems

Author/Authors

Joost Engelfriet، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1999

Pages

15

From page

1

To page

15

Journal title

Information and Computation

Serial Year

1999

Journal title

Information and Computation

Record number

261843