Virgil Emil Cazanescu, Manfred Kudlek
Local Rewriting Abstract.
We resume the local idea which has been introduced in a previous paper of the
first author in the case of equational logic and we apply it to rewriting. We
rewrite elements in a fixed algebra instead of terms. One of the goals of this
paper is to show that a lot of results regarding term rewriting can be proved in
this more general framework. |