Login / Signup
Verifying Monadic Second-Order Properties of Graph Programs.
Christopher M. Poskitt
Detlef Plump
Published in:
CoRR (2014)
Keyphrases
</>
graph properties
higher order
graph structure
desirable properties
graph representation
graph model
connected components
deductive databases
computer programs
structural properties
np hard
answer sets
directed graph
random graphs
graph construction
structured data
imperative programs