Travelled to:1 × France
1 × Norway
1 × USA
1 × United Kingdom
Collaborated with:M.Grohe ∅ B.Grußien A.Hernich J.Köbler S.Kuhnert O.Verbitsky A.Dawar B.Holm
Talks about:interv (2) logic (2) graph (2) represent (1) logarithm (1) polynomi (1) logspac (1) recurs (1) captur (1) space (1)
Person: Bastian Laubner
DBLP: Laubner:Bastian
Contributed to:
2011
2010
20102009Wrote 4 papers:
- CSL-2011-GroheGHL #logic #recursion
- L-Recursion and a new Logic for Logarithmic Space (MG, BG, AH, BL), pp. 277–291.
- ICALP-v1-2010-KoblerKLV #canonical #graph #representation
- Interval Graphs: Canonical Representation in Logspace (JK, SK, BL, OV), pp. 384–395.
- LICS-2010-Laubner #graph #polynomial
- Capturing Polynomial Time on Interval Graphs (BL), pp. 199–208.
- LICS-2009-DawarGHL #logic #rank
- Logics with Rank Operators (AD, MG, BH, BL), pp. 113–122.