A Single-Step Term-Graph Reduction System for Proof Assistants.

Maarten de Mol Marko C. J. D. van Eekelen Rinus Plasmeijer

Published in: AGTIVE (2007)

Keyphrases

single step
graph model
multi step
graph theory
graph structure
graph representation
directed acyclic graph
random walk
bipartite graph
connected components
graph data
graph matching
directed graph
training data
document representation
graph mining
graph databases
graph partitioning
rough sets
semi supervised