Travelled to:1 × Croatia
1 × USA
Collaborated with:K.Kawarabayashi ∅ M.Grohe T.Tantau
Talks about:order (2) graph (2) decomposit (1) properti (1) logspac (1) context (1) coincid (1) second (1) where (1) monad (1)
Person: Michael Elberfeld
DBLP: Elberfeld:Michael
Contributed to:
2014
2012
2016Wrote 3 papers:
- STOC-2014-ElberfeldK #bound #graph
- Embedding and canonizing graphs of bounded genus in logspace (ME, KiK), pp. 383–392.
- LICS-2012-ElberfeldGT #first-order #higher-order #logic #monad
- Where First-Order and Monadic Second-Order Logic Coincide (ME, MG, TT), pp. 265–274.
- CSL-2016-Elberfeld #graph
- Context-Free Graph Properties via Definable Decompositions (ME), p. 16.