Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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

Newer versions

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, and Andrei Voronkov. The decidability of simultaneous rigid E-unification with one variable, Springer Verlag, 1998.

> Publications > The decidability of simultaneous rigid E-unification with one variable