Travelled to:
1 × Austria
1 × USA
Collaborated with:
N.Schweikardt F.Harwath D.Kuske
Talks about:
structur (2) degre (2) bound (2) decomposit (1) construct (1) theorem (1) preserv (1) gaifman (1) normal (1) optim (1)
Person: Lucas Heimberg
DBLP: Heimberg:Lucas
Contributed to:
Wrote 2 papers:
- LICS-CSL-2014-HarwathHS #bound #composition #theorem
- Preservation and decomposition theorems for bounded degree structures (FH, LH, NS), p. 10.
- LICS-2013-HeimbergKS #bound #normalisation
- An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (LH, DK, NS), pp. 63–72.