Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings

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…