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 × 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 DBLP: Berkholz:Christoph

Contributed to:

ICALP (1) 20152015
CSL 20132013
LICS 20122012

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

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.