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
JournalSubmission.pdf (747.38 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 6

Citer

Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas. Drag Rewriting. 2023. ⟨hal-04143346v6⟩
280 Consultations
150 Téléchargements

Partager

More