Local Reasoning for Global Graph Properties.

Siddharth Krishna Alexander J. Summers Thomas Wies

Published in: CoRR (2019)

Keyphrases

graph properties
graph theoretic
graph theory
database
directed graph
social networks
information flow