2 citations · 3 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2010★ 2 cited
Extending Context-Sensitivity in Term Rewriting
Bernhard Gramlich, Felix Schernhammer
We propose a generalized version of context-sensitivity in term rewriting based on the notion of "forbidden patterns". The basic idea is that a rewrite step should be forbidden if…