Mostra el registre d'ítem simple
Double-pushout hypergraph rewriting through free completions
dc.contributor.author | Burmeister, P |
dc.contributor.author | Rosselló, F |
dc.contributor.author | Valiente Feruglio, Gabriel Alejandro |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-02-19T10:05:47Z |
dc.date.available | 2016-02-19T10:05:47Z |
dc.date.issued | 1996-10 |
dc.identifier.citation | Burmeister, P., Rosselló, F., Valiente, G. "Double-pushout hypergraph rewriting through free completions". 1996. |
dc.identifier.uri | http://hdl.handle.net/2117/83155 |
dc.description.abstract | 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 double-pushout transformation rule P' of partial subhypergraphs can be found a priori such that double-pushout derivations by the application of P are free completions of double-pushout derivations by the application of P'. It allows a more efficient double-pushout rewriting of total hypergraphs by rewriting suitable partial hypergraphs and freely completing the resulting partial hypergraphs. The main results in this paper are actually established in the more general setting of hierarchical unary algebras. |
dc.format.extent | 30 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.other | Hypergraphs |
dc.subject.other | Double-pushout |
dc.subject.other | Graph transformation |
dc.subject.other | Algebraic graph transformation |
dc.title | Double-pushout hypergraph rewriting through free completions |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1890073 |
dc.description.version | Postprint (published version) |
local.citation.author | Burmeister, P.; Rosselló, F.; Valiente, G. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]