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