External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

H. J. Sander Bruggink

This author has not been identified. Look up 'H. J. Sander Bruggink' in Google

Barbara König 0001

This author has not been identified. Look up 'Barbara König 0001' in Google

Dennis Nolte

This author has not been identified. Look up 'Dennis Nolte' in Google

Hans Zantema

This author has not been identified. It may be one of the following persons: Look up 'Hans Zantema' in Google
runs on