Complativle graph properties are decidable for hypergraph replacement graph languages.

Annegret Habel Hans-Jörg Kreowski Walter Vogler

Published in: Bull. EATCS (1987)

Keyphrases

graph properties
graph theoretic
graph theory
directed graph
maximal cliques
graph data
clustering coefficient
random walk
pairwise
hypergraph model
databases
higher order
first order logic
graph structure
network topology