25 citations · 26 across the 4 of their papers we have counts for
1 paper · 1 filter
Clément Alleaume, Philippe Malbos
Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rew…