4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
In this paper, we investigate the relationship between two elementary operations on derivations in the framework of graph transformation based on adhesive categories: moving a deri…