Travelled to:1 × Croatia
1 × Italy
1 × Japan
Collaborated with:M.Grohe ∅ A.Krebs O.Verbitsky
Talks about:bound (2) test (2) hierarchi (1) existenti (1) quantifi (1) isomorph (1) approach (1) variabl (1) consist (1) algebra (1)
Person: Christoph Berkholz
DBLP: Berkholz:Christoph
Contributed to:
2015
2013
2012Wrote 3 papers:
- ICALP-v1-2015-BerkholzG #algebra #graph #morphism #testing
- Limitations of Algebraic Approaches to Graph Isomorphism Testing (CB, MG), pp. 155–166.
- CSL-2013-BerkholzKV #bound #logic #quantifier
- Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy (CB, AK, OV), pp. 61–80.
- LICS-2012-Berkholz #bound #game studies #testing
- Lower Bounds for Existential Pebble Games and k-Consistency Tests (CB), pp. 25–34.