Unification of Drags and Confluence of Drag Rewriting - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2022

Unification of Drags and Confluence of Drag Rewriting

Résumé

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.
Fichier principal
Vignette du fichier
Confluence_of_Drag_Rewriting.pdf (286.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02562152 , version 1 (04-05-2020)
hal-02562152 , version 2 (31-10-2021)
hal-02562152 , version 3 (17-05-2022)
hal-02562152 , version 4 (11-08-2022)
hal-02562152 , version 5 (13-01-2023)

Identifiants

  • HAL Id : hal-02562152 , version 3

Citer

Jean-Pierre Jouannaud, Fernando Orejas. Unification of Drags and Confluence of Drag Rewriting. 2022. ⟨hal-02562152v3⟩
407 Consultations
413 Téléchargements

Partager

More