Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions

Cyrille Chenavier, Maxime Lucas

We study rewriting systems whose underlying set of terms is equipped with a vector space structure over a given field. We introduce parallel rewriting relations, which are rewritin…