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