Travelled to:
1 × France
1 × United Kingdom
Collaborated with:
M.Löwe H.König U.Wolter
Talks about:
transform (2) graph (2) polymorph (1) pushout (1) kampen (1) squar (1) singl (1) van (1)
Person: Christoph Schulz
DBLP: Schulz:Christoph
Contributed to:
Wrote 2 papers:
- FASE-2014-LoweKS #category theory #graph transformation #polymorphism
- Polymorphic Single-Pushout Graph Transformation (ML, HK, CS), pp. 355–369.
- ICGT-2014-KonigLSW #graph transformation
- Van Kampen Squares for Graph Transformation (HK, ML, CS, UW), pp. 222–236.