Saved in:
Bibliographic Details
Main Authors: Dershowitz, Nachum, Jouannaud, Jean-Pierre, Orejas, Fernando
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2406.16046
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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.