1 citations · 1 across the 1 of their papers we have counts for
1 paper
A. Heyworth, M. Johnson
A rewriting system is a set of equations over a given set of terms called rules that characterize a system of computation and is a powerful general method for providing decision pr…