Title of article
Higher Order Unification via Explicit Substitutions
Author/Authors
Gilles Dowek، نويسنده , , Therèse Hardin، نويسنده , , Claude Kirchner، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
53
From page
183
To page
235
Keywords
explicit substitutions , higher order unification , equationalunification.
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
261889
Link To Document