Graph Reducibility of Term Rewriting Systems.

M. R. K. Krishna Rao

Published in: MFCS (1995)

Keyphrases

term rewriting systems
logic programs
functional programs
directed graph
graph representation
graph structure
weighted graph
graph matching
random walk
structured data
bipartite graph
graph theory
graph mining
relational databases
knn
connected components