H. J. Sander Bruggink, Barbara König 0001, Dennis Nolte, Hans Zantema. Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings. In Francesco Parisi-Presicce, Bernhard Westfechtel, editors, Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. Volume 9151 of Lecture Notes in Computer Science, pages 52-68, Springer, 2015. [doi]
Abstract is missing.