Title of article

Unification of kinded infinite trees

Author/Authors

Vasco Thudichum Vasconcelos، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 1995

Pages

6

From page

323

To page

328

Keywords

Unification , Algorithms

Journal title

Information Processing Letters

Serial Year

1995

Journal title

Information Processing Letters

Record number

128340