Universitat Politècnica de Catalunya
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Universitat Politècnica de Catalunya. ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals
2023-02
Drags are a recent, natural generalization of terms which admit arbitrary cycles. A key aspect of drags is that they can be equipped with a composition operator so that rewriting amounts to replace a drag by another in a composition. In this paper, we develop a unification algorithm for drags that allows to check the local confluence property of a set of drag rewrite rules.
This work is partially supported by MCIN/AEI /10.13039/501100011033 under grant PID2020-112581GB-C21.
Peer Reviewed
Postprint (published version)
Article
Anglès
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat; Computer algorithms; Drags; Graphs; Unification; Confluence; Algorismes computacionals
Elsevier
https://www.sciencedirect.com/science/article/pii/S2352220822000980
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2020-112581GB-C21/ES/MODELOS Y TECNICAS PARA EL PROCESAMIENTO DE INFORMACION A GRAN ESCALA -- BARCELONA/
http://creativecommons.org/licenses/by/4.0/
Open Access
Attribution 4.0 International
E-prints [73124]
