Polymorphic Sesqui-Pushout Graph Rewriting

DOI10.1007/978-3-319-21145-9_1zbMath1321.68334OpenAlexW987248600MaRDI QIDQ2947207

Michael Löwe

Publication date: 22 September 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-21145-9_1

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (8)

Sesqui-Pushout Rewriting with Type Refinements ⋮ Polymorphic Sesqui-Pushout Graph Rewriting ⋮ Fundamentals of compositional rewriting theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications ⋮ Concurrency theorems for non-linear rewriting theories ⋮ A generalized concurrent rule construction for double-pushout rewriting

Cites Work

• Unnamed Item
• Unnamed Item
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Algebraic approach to single-pushout graph transformation
• Fundamentals of algebraic graph transformation
• Polymorphic Sesqui-Pushout Graph Rewriting
• Reversible Sesqui-Pushout Rewriting
• On Pushouts of Partial Maps
• Sesqui-Pushout Rewriting
• Graph Rewriting in Span-Categories
• Hereditary Pushouts Reconsidered
• Algebraic Graph Transformations with Inheritance
• Graph Transformations
• Partially Ordered Sets

This page was built for publication: Polymorphic Sesqui-Pushout Graph Rewriting