Efficient Decision Procedures for Graph Properties on Centext-Free Graph Languages.

Thomas Lengauer Egon Wanke

Published in: J. ACM (1993)

Keyphrases

graph properties
decision procedures
graph theory
graph theoretic
directed graph
modal logic
theorem proving
automated reasoning
databases
data mining
logic programs
random walk
clustering coefficient