Flyspeck I: Tame Graphs.

Tobias Nipkow Gertrud Bauer Paula Schultz

Published in: IJCAR (2006)

Keyphrases

graph theoretic
artificial intelligence
databases
graph theoretical
information retrieval
object recognition
graph theory
graph model
graph databases
graph representation
structured objects