Exploració per autor "Burmeister, P"
Ara es mostren els items 1-2 de 2
-
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 obertThe 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 obertA 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 ...