Login / Signup
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings.
H. J. Sander Bruggink
Barbara König
Dennis Nolte
Hans Zantema
Published in:
CoRR (2015)
Keyphrases
</>
graph transformation
distributed systems
complex systems
management system
intelligent systems
constraint satisfaction problems
knowledge base
expert systems
knowledge based systems
building blocks
directed graph
graph structure
graph representation
type checking