Certifying a Termination Criterion Based on Graphs, without Graphs.

Pierre Courtieu Julien Forest Xavier Urbain

Published in: TPHOLs (2008)

Keyphrases

graph matching
structured objects
graph theory
directed graph
graph theoretic
graph databases
graph structure
graph representation
graph mining
series parallel
minimum description length
graph construction
graph model
neural network
weighted graph
search algorithm
machine learning