Title of article

Farmerʹs Theorem revisited

Author/Authors

Margus Veanes، نويسنده ,

Issue Information

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

Pages

7

From page

47

To page

53

Keywords

Second-order unification , Ground term rewriting , programming languages

Journal title

Information Processing Letters

Serial Year

2000

Journal title

Information Processing Letters

Record number

129207