Bastian Laubner

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Transitive Closure

Inference Rules

Top Venues

Log. Methods Comput. Sci.

Humboldt University of Berlin (PHD)

Education History

Humboldt University of Berlin

PHD

Publications

Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner
L-Recursion and a new Logic for Logarithmic Space Log. Methods Comput. Sci. 9 (1) (2012)
Johannes Köbler, Sebastian Kuhnert, Bastian Laubner, Oleg Verbitsky
Interval Graphs: Canonical Representations in Logspace. SIAM J. Comput. 40 (5) (2011)
Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner
L-Recursion and a new Logic for Logarithmic Space. CSL (2011)
Johannes Köbler, Sebastian Kuhnert, Bastian Laubner, Oleg Verbitsky
Interval Graphs: Canonical Representation in Logspace. Electron. Colloquium Comput. Complex. 17 (2010)
Johannes Köbler, Sebastian Kuhnert, Bastian Laubner, Oleg Verbitsky
Interval Graphs: Canonical Representation in Logspace. ICALP (1) (2010)
Bastian Laubner
Capturing Polynomial Time on Interval Graphs. LICS (2010)
Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner
Logics with Rank Operators. LICS (2009)
Bastian Laubner
Capturing Polynomial Time on Interval Graphs CoRR (2009)