The decidability of simultaneous rigid E-unification with one variable

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, and Andrei Voronkov

Details

Publication typeTechReport
Number139
SeriesUPMAIL Technical Report
InstitutionUppsala University, Computing Science Department
> Publications > The decidability of simultaneous rigid E-unification with one variable