Uniform representation of recursively enumerable sets with simultaneous rigid E-unification (extended abstract)
Margus Veanes
1996
In Proc. 10th International Workshop on Unification (UNIF'96)
Details
| Type | Inproceedings |
| Pages | 7-15 |
| Number | CIS-Bericht-96-91 |
| Institution | Munich University |
Related People
Share
