Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Unification of Drags and Confluence of Drag Rewriting

Abstract : We develop a confluence result for graph rewriting based on the drag model [4].
Complete list of metadata

https://hal.inria.fr/hal-02562463
Contributor : Jean-Pierre Jouannaud Connect in order to contact the contributor
Submitted on : Monday, February 1, 2021 - 5:45:31 PM
Last modification on : Friday, January 21, 2022 - 3:11:26 AM

File

submission-v1.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02562463, version 2

Citation

Jean-Pierre Jouannaud, Fernando Orejas. Unification of Drags and Confluence of Drag Rewriting. 2021. ⟨hal-02562463v2⟩

Share

Metrics

Les métriques sont temporairement indisponibles