7 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Mark Bouwman, Rick Erkens
In this article we investigate how a subterm pattern matching algorithm can be exploited to implement efficient term rewriting procedures. From the left-hand sides of the rewrite s…