1 citations · 1 across the 1 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…