The decidability of simultaneous rigid E-unification with one variable
Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, and Andrei Voronkov
April 1997
 PDF file |
Details
| Type: | TechReport |
| Number: | 139 |
| Series: | UPMAIL Technical Report |
| Institution: | Uppsala University, Computing Science Department |
Related People
©2009 Microsoft Corporation. All rights reserved.