• Single pushout rewriting in comprehensive systems of graph-like structures 

      Stünkel, Patrick; König, Harald (Peer reviewed; Journal article, 2021)
      The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting total morphisms by partial ones in the underlying category. SPO's applicability depends on the durability of pushouts after ...