Now showing items 1-1 of 1

    • Single-pushout rewriting in categories of spans I: the general setting 

      Montserrat, Miquel; Francesc, Rosselló; Torrens, Joan; Valiente Feruglio, Gabriel Alejandro (1997-05)
      Research report
      Open Access
      A unifying view of all constructions of pushouts of partial morphisms considered so far in the literature of single-pushout transformation is given in this paper. Pushouts of partial morphisms are studied in an abstract ...