> Publications > Uniform representation of recursively enumerable sets with simultaneous rigid E-unification (extended abstract)
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
©2009 Microsoft Corporation. All rights reserved.