Now showing items 1-2 of 2

• #### Single-pushout hypergraph rewriting through free completions ﻿

(1997-02)
Research report
Open Access
Different relationships between single-pushout rewriting of total and partial unary algebras are studied in this paper. In general, given a single-pushout transformation rule r of total algebras, a corresponding ...
• #### Single-pushout rewriting in categories of spans I: the general setting ﻿

(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 ...