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 × Germany
1 × Italy
1 × Japan
1 × Spain
1 × Taiwan
1 × United Kingdom
Collaborated with:
K.Lange O.Verbitsky C.Behle S.Reifferscheid A.V.Sreejith M.Ludwig C.Berkholz C.Borlido S.Czarnetzki M.Gehrke K.Lodaya P.K.Pandya H.Straubing
Talks about:
variabl (4) logic (3) two (3) quantifi (2) languag (2) depth (2) defin (2) bound (2) non (2) distinguish (1)

Person: Andreas Krebs

DBLP DBLP: Krebs:Andreas

Contributed to:

DLT 20152015
LICS 20152015
CSL 20132013
DLT 20122012
LICS 20122012
DLT 20092009
LATA 20092009
CSL 20172017
CSL 20182018

Wrote 9 papers:

DLT-2015-KrebsLL #on the
On Distinguishing NC¹ and NL (AK, KJL, ML), pp. 340–351.
LICS-2015-KrebsV #bound #logic #refinement
Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.
CSL-2013-BerkholzKV #bound #logic #quantifier
Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy (CB, AK, OV), pp. 61–80.
Dense Completeness (AK, KJL), pp. 178–189.
LICS-2012-KrebsS #first-order
Non-definability of Languages by Generalized First-order Formulas over (N, +) (AK, AVS), pp. 451–460.
DLT-2009-BehleKR #quantifier #regular expression
Regular Languages Definable by Majority Quantifiers with Two Variables (CB, AK, SR), pp. 91–102.
Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG] (CB, AK, SR), pp. 129–140.
CSL-2017-BorlidoCGK #principle
Stone Duality and the Substitution Principle (CB, SC, MG, AK), p. 20.
CSL-2018-KrebsLPS #algebra #logic
An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation (AK, KL, PKP, HS), p. 17.

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.