research
∙
05/12/2020
Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions
We study rewriting systems whose underlying set of terms is equipped wit...
share
research
∙
02/10/2020
Compatible rewriting of noncommutative polynomials for proving operator identities
The goal of this paper is to prove operator identities using equalities ...
research
∙
07/15/2019
Topological rewriting systems applied to standard bases and syntactic algebras
We propose a functional description of rewriting systems on topological ...
research
∙
08/29/2017