An encoding of partial algebras as total algebras (abstract)
We introduce a semantic encoding of partial algebras as total algebras
through a Horn axiomatization of the existence equality relation
interpreted as an algebraic operation. We show that this novel
encoding enjoys several important properties that make it a good tool
for the execution of partial algebraic specifcations through means
specifc to ordinary algebraic reasoning, such as term rewriting.
back to Selected Publications