Termination Analysis for Graph Transformation Systems.

H. J. Sander Bruggink Barbara König Hans Zantema

Published in: IFIP TCS (2014)

Keyphrases

graph transformation
termination analysis
expert systems
distributed systems
active rules
database
data mining
information systems
management system