We study rewriting systems whose underlying set of terms is equipped wit...
The goal of this paper is to prove operator identities using equalities
...
We propose a functional description of rewriting systems on topological
...
We introduce the notion of syzygy for a set of reduction operators and r...