Drag Rewriting - Laboratoire Méthodes Formelles Access content directly
Preprints, Working Papers, ... Year : 2023

Drag Rewriting

Abstract

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 (469.73 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and 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)

Licence

Attribution

Identifiers

  • HAL Id : hal-04143346 , version 1

Cite

Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas. Drag Rewriting. 2023. ⟨hal-04143346v1⟩
82 View
73 Download

Share

Gmail Facebook X LinkedIn More