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.