Applying term rewriting to partial algebra theory
Norbert Dojer · Fundamenta Informaticae · 2004
In our paper we apply term rewriting to decidability of equations in classes of partial algebras, as well as to embeddability of partial algebras into classes of total ones. We follow the approach to partial algebras introduced by H.J. Kreowski in [13], in which (classes of) partial algebras are described by means of (classes of) total ones.