Locality in Reasoning about Graph Transformations.

Martin Strecker

Published in: AGTIVE (2011)

Keyphrases

random walk
structured data
stable set
adjacency matrix
graph representation
bipartite graph
graph theory
weighted graph
graph model
graph databases
directed graph
graph structure
spanning tree
qualitative reasoning
graph construction
graph search
graph based algorithm
spatial locality
connected components