7 citations · 16 across the 10 of their papers we have counts for
1 paper · 1 filter
David Sabel, Hans Zantema
We present techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected. Our main technique i…