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