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