most citedTermination of Rewriting with and Automated Synthesis of Forbidden Patterns

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2010★ 1 cited

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

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…