1.6k citations · 2.2k across the 17 of their papers we have counts for
1 paper · 2 filters
Maxime Lucas
In traditional rewriting theory, one studies a set of terms up to a set of rewriting relations. In algebraic rewriting, one instead studies a vector space of terms, up to a vector…