10 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 10 cited
Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
We extend the powerful Pullback-Pushout (PBPO) approach for graph rewriting with strong matching. Our approach, called PBPO+, allows more control over the embedding of the pattern…
cs.LO2020★ 7 cited
Graph Rewriting and Relabeling with PBPO+
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
We extend the powerful Pullback-Pushout (PBPO) approach for graph rewriting with strong matching. Our approach, called \pbpostrong, exerts more control over the embedding of the pa…