Non-simplifying Graph Rewriting Termination
Guillaume BonfanteBruno GuillaumePublished in: TERMGRAPH (2013)
Keyphrases
- rewriting systems
- rewriting rules
- termination analysis
- graph representation
- conjunctive queries
- graph structure
- structured data
- graph theory
- connected components
- directed graph
- graph matching
- weighted graph
- query rewriting
- graph mining
- graph partitioning
- graph model
- directed acyclic graph
- bipartite graph
- adjacency matrix
- dependency graph
- random walk
- term rewriting
- presburger arithmetic