The decidability of simultaneous rigid E-unification with one variable

upmail0139.pdf
PDF file

Details

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