Describing Göttler's operational graph grammars with pushouts

DOI10.1007/BFB0017384MaRDI QIDQ4037302zbMATH OpenFDO

Authors Klaus Barthelmann

Publication date 18 May 1993

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

Full work available at URL https://doi.org/10.1007/BFB0017384

zbMATH Keywords

operational graph grammarspushouts

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts
• scientific article; zbMATH DE number 517053
• Algebraic approach to single-pushout graph transformation
• Algebraic graph rewriting using a single pushout
• Algebraic approach to graph transformation based on single pushout derivations

Cited in

(5)

• Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts
• scientific article; zbMATH DE number 1231504 (Why is no real title available?)
• The category of typed graph grammars and its adjunctions with categories of derivations
• scientific article; zbMATH DE number 969068 (Why is no real title available?)
• Pushout-complements and basic concepts of grammars in toposes

This page was built for publication: Describing Göttler's operational graph grammars with pushouts

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