BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Elberfeld:Michael

Contributed to:

STOC 20142014
LICS 20122012
CSL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.