A Region Graph Based Approach to Termination Proofs.

Stefan Leue Wei Wei

Published in: TACAS (2006)

Keyphrases

graph structure
structured data
directed graph
graph theory
graph construction
region of interest
rewrite systems
theorem proving
directed acyclic graph
graph representation
graph theoretic
graph model
spanning tree
undirected graph
graph partitioning
weighted graph
graph structures
dependency graph
bipartite graph