Sesqui-Pushout Rewriting with Type Refinements

DOI10.1007/978-3-319-40530-8_2zbMath1344.68110OpenAlexW2479066583MaRDI QIDQ3187801

Michael Löwe

Publication date: 5 September 2016

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40530-8_2

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Uses Software

• AGREE

Cites Work

• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Fundamentals of algebraic graph transformation
• Graph Transformation with Focus on Incident Edges
• Polymorphic Sesqui-Pushout Graph Rewriting
• AGREE – Algebraic Graph Rewriting with Controlled Embedding
• Sesqui-Pushout Rewriting
• Graph Rewriting in Span-Categories
• Adhesive and quasiadhesive categories

This page was built for publication: Sesqui-Pushout Rewriting with Type Refinements