Title of article :
Higher Order Unification via Explicit Substitutions
Author/Authors :
Gilles Dowek، نويسنده , , Therèse Hardin، نويسنده , , Claude Kirchner، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Keywords :
explicit substitutions , higher order unification , equationalunification.
Journal title :
Information and Computation
Journal title :
Information and Computation
