1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Bernhard Gramlich, Felix Schernhammer
We introduce a modified version of the well-known dependency pair framework that is suitable for the termination analysis of rewriting under forbidden pattern restrictions. By atta…