2 citations · 2 across the 3 of their papers we have counts for
1 paper · 2 filters
H. J. Sander Bruggink, Barbara König, Dennis Nolte +1
We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapt…