A note on proofs with graphs.

Renata P. de Freitas Jorge Petrucio Viana

Published in: Sci. Comput. Program. (2008)

Keyphrases

graph matching
graph mining
theorem proving
graph representation
graph databases
formal proofs
database
information retrieval
graph model
graph theoretic
onset detection
data mining
information systems
bipartite graph
weighted graph
theorem prover