The contractum in algebraic graph rewriting

DOI10.1007/3-540-61228-9_76zbMath1412.68097OpenAlexW1865568737MaRDI QIDQ4645265

Richard Banach

Publication date: 10 January 2019

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61228-9_76

zbMATH Keywords

graph grammaralgebraic approachgraph transformationgarbage collectionsafety property

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Locating the contractum in the double pushout approach
• Term graph rewriting and garbage collection using opfibrations
• Pushout-Properties: An analysis of gluing constructions for graphs
• Parallelism and concurrency in high-level replacement systems
• Canonical derivations for high-level replacement systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The contractum in algebraic graph rewriting