Now showing items 1-1 of 1

    • Rewriting in categories of spans 

      Monserrat, Miquel; Rosselló, Francesc; Torrens, Joan; Valiente Feruglio, Gabriel Alejandro (1996-03)
      Research report
      Open Access
      Single-pushout transformation in a category of spans, in some sense a generalization of the usual notion of partial morphism, is studied in this paper. Contrary to the usual notion of partial morphism, spans are single ...