On the Undecidability of Second-Order Unification
Jordi Levy and Margus Veanes
2000
In: Information and Computation
Details
| Type: | Article |
| URL: | http://dx.doi.org/10.1006/inco.2000.2877 |
| Pages: | 125-150 |
| Volume: | 159 |
| Number: | 1-2 |
Related People
Related Groups
Related Labs
Related Research Areas
©2009 Microsoft Corporation. All rights reserved.