1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…