Unification of Drags and Confluence of Drag Rewriting - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2021

Unification of Drags and Confluence of Drag Rewriting

Abstract

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 (281.16 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and 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)

Identifiers

  • HAL Id : hal-02562152 , version 2

Cite

Jean-Pierre Jouannaud, Fernando Orejas. Unification of Drags and Confluence of Drag Rewriting. 2021. ⟨hal-02562152v2⟩
332 View
363 Download

Share

Gmail Mastodon Facebook X LinkedIn More