10 citations · 37 across the 10 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
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…
cs.LO2020
Patch Graph Rewriting (Extended Version)
Roy Overbeek, Jörg Endrullis
The basic principle of graph rewriting is the stepwise replacement of subgraphs inside a host graph. A challenge in such replacement steps is the treatment of the patch graph, cons…
cs.LO2020
Star Games and Hydras
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
The recursive path ordering is an established and crucial tool in term rewriting to prove termination. We revisit its presentation by means of some simple rules on trees (or corres…