Partial algebras flow from algebraic specifications
14th International Colloquium on Automata, languages and programming
CADE-10 Proceedings of the tenth international conference on Automated deduction
Testing for inductive (Co)-reducibility
CAAP '90 Proceedings of the fifteenth colloquium on CAAP'90
Handbook of theoretical computer science (vol. B)
Term rewriting and all that
Hi-index | 0.00 |
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.