Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.

Jörg Endrullis Roy Overbeek

Published in: CoRR (2023)

Keyphrases

graph transformation
expert systems
rewrite systems
artificial intelligence
distributed systems
computer systems
graph theory
decision trees
building blocks
learning systems
weighted graph