9 citations · 40 across the 22 of their papers we have counts for
1 paper · 1 filter
Jörg Endrullis, Hans Zantema
We describe a method for proving non-looping non-termination, that is, of term rewriting systems that do not admit looping reductions. As certificates of non-termination, we employ…