Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
On the Undecidability of Second-Order Unification

Jordi Levy and Margus Veanes

Details

Publication typeArticle
Published inInformation and Computation
URLhttp://dx.doi.org/10.1006/inco.2000.2877
Pages125-150
Volume159
Number1-2
> Publications > On the Undecidability of Second-Order Unification