Proofs as graphs.

Duncan Shand Simon Brock

Published in: Electron. Notes Theor. Comput. Sci. (1995)

Keyphrases

graph matching
directed graph
graph clustering
graph theory
theorem proving
graph representation
graph theoretic
small world
database
structured objects
graph structure
series parallel
complex structures
graph construction
formal proof
computer programs
graph model
pairwise
search algorithm