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 |
Share
Jordi Levy and Margus Veanes
2000
In Information and Computation
| Type | Article |
| URL | http://dx.doi.org/10.1006/inco.2000.2877 |
| Pages | 125-150 |
| Volume | 159 |
| Number | 1-2 |
