Definability in the Substructure Ordering of Finite Directed Graphs.

Published in: Order (2021)

Keyphrases

directed graph
partial order
random walk
fixed point
propositional logic
directed acyclic graph
finite number
graph structures
graph structure
undirected graph
maximum flow
disjoint paths
strongly connected
substructure discovery