Separator logic and star-free expressions for graphs.

Mikolaj Bojanczyk

Published in: CoRR (2021)

Keyphrases

real time
graph matching
modal logic
graph mining
proof theory
directed graph
mathematical expressions
weighted graph
graph theoretic
set theory
logical formulas
deontic logic
truth values
predicate logic
logical framework
multi valued
automated reasoning
graph partitioning
bipartite graph
logic programming
data sets