A Typo in the Paterson-Wegman-de Champeaux algorithm

07/01/2020

∙

by   Valeriu Motroi, et al.

∙

0

∙

share

We investigate the Paterson-Wegman-de Champeaux linear-time unification algorithm. We show that there is a small mistake in the de Champeaux presentation of the algorithm and we provide a fix.