STAF 2023 (series) / ICGT 2023 (series) / Research Papers /
Moving a Derivation Along a Derivation Preserves the Spine
In this paper, we investigate the relationship between two elementary operations on graph-transformational derivations: moving a derivation along a derivation based on parallel and sequential independence on one hand and restriction of a derivation by clipping off vertices and edges that are never matched by a rule application throughout the derivation on the other hand. As main result, it is shown that moving a derivation preserves its spine being the minimal restriction.
Wed 19 JulDisplayed time zone: London change
Wed 19 Jul
Displayed time zone: London change
13:30 - 15:00 | ICGT Session 3: TheoryResearch Papers at Oak Chair(s): Nicolas Behr CNRS, Université Paris Cité, IRIF Remote Participants: Zoom Link, YouTube Livestream | ||
13:30 30mTalk | A Monoidal View on Fixpoint Checks Research Papers Paolo Baldan University of Padova, P: Richard Eggert University of Duisburg-Essen, Barbara König University of Duisburg-Essen, Timo Matt University Duisburg-Essen, Tommaso Padoan University of Padova DOI Pre-print | ||
14:00 30mTalk | Fuzzy Presheaves are Quasitoposes Research Papers P: Aloïs Rosset Vrije Universiteit Amsterdam, Roy Overbeek Vrije Universiteit Amsterdam, Jörg Endrullis Vrije Universiteit Amsterdam DOI File Attached | ||
14:30 30mTalk | Moving a Derivation Along a Derivation Preserves the Spine Research Papers P: Hans-Jörg Kreowski University of Bremen, Sabine Kuske University of Bremen, Aaron Lye University of Bremen, Aljoscha Windhorst University of Bremen DOI | ||