Moving a derivation along a derivation preserves the spine

DOI10.1007/978-3-031-36709-0_4MaRDI QIDQ6535507zbMATH OpenFDO

Authors Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye

Publication date 12 January 2024

Full work available at URL https://doi.org/10.1007/978-3-031-36709-0_4

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Parallel and distributed derivations in the single-pushout approach
• Parallelism in single-pushout graph rewriting
• Note on standard representation of graphs and graph derivations
• scientific article; zbMATH DE number 4023326
• scientific article; zbMATH DE number 4035184

Cites work

• A graph-transformational approach for proving the correctness of reductions between NP-problems
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 3548465 (Why is no real title available?)
• scientific article; zbMATH DE number 3553769 (Why is no real title available?)
• scientific article; zbMATH DE number 3555490 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 3633740 (Why is no real title available?)

Cited in

(1)

• Moving a derivation along a derivation preserves the spine in adhesive categories

This page was built for publication: Moving a derivation along a derivation preserves the spine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535507)