Redex Capturing in Term Graph Rewriting.

William M. Farmer Ronald J. Watro

Published in: Int. J. Found. Comput. Sci. (1990)

Keyphrases

rewriting systems
graph model
weighted graph
graph representation
graph theory
graph structure
rewriting rules
directed graph
random walk
structured data
graph theoretic
dependency graph
neural network
connected components
graph matching
graph databases