DOI10.1016/S0020-0190(97)00063-XzbMath1337.68238MaRDI QIDQ287056
W. J. Fokkink
Publication date: 26 May 2016 Published in: Information Processing Letters (Search for Journal in Brave)
zbMATH Keywords
infinite sets of equations; most general unifier
Mathematics Subject Classification ID