Travelled to:1 × Germany
1 × USA
Collaborated with:L.Ribeiro ∅ H.Ehrig M.Löwe R.Heckel A.Wagner A.Corradini
Talks about:approach (4) graph (4) pushout (3) grammar (3) algebra (2) singl (2) doubl (2) base (2) relationship (1) comparison (1)
Person: Martin Korff
DBLP: Korff:Martin
Contributed to:
199719941990Wrote 4 papers:
- GG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison #graph transformation
- Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.
- TAGT-1994-KorffR #graph grammar #petri net
- Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.
- GG-1990-EhrigKL #algebra #approach #category theory #graph grammar #tutorial
- Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts (HE, MK, ML), pp. 24–37.
- GG-1990-Korff #graph grammar #rule-based
- Application of Graph Grammars to Rule-Based Systems (MK), pp. 505–519.