Confluence of Graph Rewriting with Interfaces.

Filippo Bonchi Fabio Gadducci Aleks Kissinger Pawel Sobocinski Fabio Zanasi

Published in: ESOP (2017)

Keyphrases

rewriting systems
rewriting rules
graph structure
structured data
stable set
directed graph
graph matching
graph theory
graph representation
weighted graph
directed acyclic graph
graph partitioning
random walk
user interface
undirected graph
database systems
graph construction
graph based algorithm
first order logic