Corrigendum: Semi-unification of two terms in Abelian groups

DOI10.1016/0020-0190(95)92011-2zbMath0998.68513OpenAlexW66654770MaRDI QIDQ674189

Mikael Rittri

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(95)92011-2

Mathematics Subject Classification ID

Theory of programming languages (68N15)

This page was built for publication: Corrigendum: Semi-unification of two terms in Abelian groups