On the Undecidability of Second-Order Unification

In  Information and Computation

Details

TypeArticle
URLhttp://dx.doi.org/10.1006/inco.2000.2877
Pages125-150
Volume159
Number1-2
> Publications > On the Undecidability of Second-Order Unification