Logic and graphs.

Bruno Courcelle

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

Keyphrases

graph matching
graph theoretic
predicate logic
directed graph
classical logic
graph theory
random graphs
graph databases
logic programming
modal logic
graph model
multi valued
graph clustering
graph mining
computational properties
knowledge base
structured objects