Confluence of drag rewriting

Pré-Publication, Document De Travail Année : 2020

(1) , (2)

1
2

Jean-Pierre Jouannaud

Fernando Orejas

We develop a confluence result for graph rewriting based on the drag model [4].

Logique en informatique [cs.LO] Génie logiciel [cs.SE]

Fichier principal

main.pdf (343.95 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-02562463

Soumis le : lundi 4 mai 2020-16:42:07

Dernière modification le : mardi 9 avril 2024-08:56:04

hal-02562463 , version 1 (04-05-2020)

Jean-Pierre Jouannaud, Fernando Orejas. Confluence of drag rewriting. 2020. ⟨hal-02562463v1⟩

78 Consultations

224 Téléchargements