Drag Rewriting - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2023

Drag Rewriting

Résumé

We present a new and powerful algebraic framework for graph rewriting, based on drags, a class of graphs enjoying a novel composition operator. Graphs are embellished with roots and sprouts, which can be wired together to form edges. Drags enjoy a rich algebraic structure with sums and products. Drag rewriting naturally extends graph rewriting, dag rewriting, and term rewriting models.
Fichier principal
Vignette du fichier
Drag_Rewriting.pdf (553.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04143346 , version 1 (14-03-2023)
hal-04143346 , version 2 (27-06-2023)
hal-04143346 , version 3 (20-01-2024)
hal-04143346 , version 4 (14-05-2024)
hal-04143346 , version 5 (23-06-2024)
hal-04143346 , version 6 (27-06-2024)

Licence

Identifiants

  • HAL Id : hal-04143346 , version 3

Citer

Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas. Drag Rewriting. 2023. ⟨hal-04143346v3⟩
267 Consultations
140 Téléchargements

Partager

More