Travelled to:1 × Austria
1 × Italy
Collaborated with:N.Schweikardt L.Heimberg
Talks about:decomposit (1) structur (1) quantifi (1) theorem (1) preserv (1) modulo (1) invari (1) order (1) logic (1) local (1)
Person: Frederik Harwath
DBLP: Harwath:Frederik
Contributed to:
2014
2013Wrote 2 papers:
- LICS-CSL-2014-HarwathHS #bound #composition #theorem
- Preservation and decomposition theorems for bounded degree structures (FH, LH, NS), p. 10.
- CSL-2013-HarwathS #first-order #invariant #locality #logic #on the #quantifier
- On the locality of arb-invariant first-order logic with modulo counting quantifiers (FH, NS), pp. 363–379.