Equational Term Graph Rewriting.

Zena M. Ariola Jan Willem Klop

Published in: Fundam. Informaticae (1996)

Keyphrases

rewriting systems
graph model
weighted graph
rewriting rules
graph representation
directed graph
graph theory
theorem proving
graph structure
bipartite graph
graph theoretic
neural network
link analysis
connected components
structured data
random walk
graph partitioning
graph cuts