A Strict Constrained Superposition Calculus for Graphs.

Rachid Echahed Mnacho Echenim Mehdi Mhalla Nicolas Peltier

Published in: FoSSaCS (2023)

Keyphrases

graph matching
directed graph
graph theoretic
graph theory

graph representation
series parallel
graph mining
graph databases

labeled graphs
image segmentation
weighted graph
theorem proving

graph partitioning
formal language
subgraph isomorphism