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
Share
