1 citations · 1 across the 1 of their papers we have counts for
1 paper
Jonas Schöpf, Christian Sternagel
On the one hand, checking specific termination proofs by hand, say using a particular collection of matrix interpretations, can be an arduous and error-prone task. On the other han…