Travelled to:
1 × Italy
Collaborated with:
M.Löwe
Talks about:
pushout (1) partial (1) algebra (1) rewrit (1) singl (1)
Person: Marius Tempelmeier
DBLP: Tempelmeier:Marius
Contributed to:
Wrote 1 papers:
- GCM-2015-LoweT #algebra #category theory
- Single-Pushout Rewriting of Partial Algebras (ML, MT), pp. 82–96.