Drag Rewriting - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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)

Licence

Paternité

Identifiants

  • HAL Id : hal-04143346 , version 3

Citer

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

Partager

Gmail Facebook X LinkedIn More