1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Anne Heyworth, Christopher D Wensley
The key idea is that rewriting procedures can be enhanced so that they not only rewrite words but record (log) how the rewriting has taken place. We introduce logged rewrite system…