• Algebraic transformation of unary partial algebras II: single-pushout approach 

      Burmeister, P; Montserrat, M; Rosselló, F; Valiente Feruglio, Gabriel Alejandro (1996-06)
      Report de recerca
      Accés obert
      The single-pushout approach to graph transformation is extended to the algebraic transformation of partial many-sorted unary algebras. The main result presented in this article is an algebraic characterization of the ...
    • Double-pushout hypergraph rewriting through free completions 

      Burmeister, P; Rosselló, F; Valiente Feruglio, Gabriel Alejandro (1996-10)
      Report de recerca
      Accés obert
      A relationship between double-pushout rewriting of total and partial hypergraphs is established by means of free completions. Given a double-pushout transformation rule P of total hypergraphs, a corresponding ...