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 × 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 DBLP: Laubner:Bastian

Contributed to:

CSL 20112011
ICALP (1) 20102010
LICS 20102010
LICS 20092009

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

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.