Search
Now showing items 1-1 of 1
A Proof System and a Decision Procedure for Equality Logic
(Springer Nature, 2004)
Equality Logic with uninterpreted functions is used for proving the equivalense or refinement between systems (hardware verification, compiler translation, etc). Current approaches for deciding this type of formulas use a ...