Proving Termination of Unfolding Graph Rewriting for General Safe Recursion.

Published in: CoRR (2014)

Keyphrases

special case
graph representation
rewriting systems
data sets
random walk
structured data
petri net
graph theory
directed acyclic graph
rewriting rules