Towards a Systematic Method for Proving Termination of Graph Transformation Systems

Harrie Jan Sander Bruggink. Towards a Systematic Method for Proving Termination of Graph Transformation Systems. Electronic Notes in Theoretical Computer Science, 213(1):23-38, 2008. [doi]

Abstract

Abstract is missing.