Mostra el registre d'ítem simple
Single-pushout hypergraph rewriting through free completions
dc.contributor.author | Alberich, Ricardo |
dc.contributor.author | Francesc, Rosselló |
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-26T09:09:44Z |
dc.date.available | 2016-02-26T09:09:44Z |
dc.date.issued | 1997-02 |
dc.identifier.citation | Alberich, R., Francesc, R., Valiente, G. "Single-pushout hypergraph rewriting through free completions". 1997. |
dc.identifier.uri | http://hdl.handle.net/2117/83480 |
dc.description.abstract | 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 transformation rule r' of partial algebras can be found such that single-pushout derivations by the application of r are epireflections of single-pushout derivations by the application of r' But, unlike the case of double-pushout derivations, in this case single-pushout transformation rules of partial algebras become "larger" than corresponding rules of total algebras. Therefore, ad hoc methods are developed to compute pushouts of partial homomorphisms through free completions which, in the case of hypergraphs, may lead to a slight improvement in efficiency of pattern-matching and to a moderate improvement in efficiency of single-pushout transformations. |
dc.format.extent | 26 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-97-12-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject.other | Algebraic graph transformation |
dc.subject.other | Single pushout approach |
dc.subject.other | Partial algebras |
dc.subject.other | Hypergraphs free completions |
dc.title | Single-pushout hypergraph rewriting through free completions |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1890103 |
dc.description.version | Postprint (published version) |
local.citation.author | Alberich, R.; Francesc, R.; Valiente, G. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]