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: Krebs:Andreas
Contributed to:
2015
2015
2013201220122009
200920172018Wrote 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.
- DLT-2012-KrebsL
- 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.
- LATA-2009-BehleKR
- 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.