2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…