A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report).

Published in: RTA (1993)

Keyphrases

term rewriting
theorem prover
theorem proving
operational semantics
rewrite systems
graph theory
random walk
weighted graph
graph model
graph representation
knuth bendix
graph structure
connected components
directed graph
cooperative
bipartite graph
incremental learning
graph matching