An algorithm for reasoning about equality
- 1 July 1978
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 21 (7) , 583-585
- https://doi.org/10.1145/359545.359570
Abstract
A simple technique for reasoning about equalities that is fast and complete for ground formulas with function symbols and equality is presented. A proof of correctness is given as well.Keywords
This publication has 1 reference indexed in Scilit:
- Efficiency of a Good But Not Linear Set Union AlgorithmJournal of the ACM, 1975