9 citations · 17 across the 9 of their papers we have counts for
1 paper · 1 filter
Cyrille Chenavier, Benjamin Dupont, Philippe Malbos
Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are b…