A Typo in the Paterson-Wegman-de Champeaux algorithm
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2020
- DOI:
- 10.48550/arXiv.2007.00304
- arXiv:
- arXiv:2007.00304
- Bibcode:
- 2020arXiv200700304M
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- Unification Algorithm