Lucas Heimberg

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 2

Top Topics

Functional Dependencies

Decomposition Method

Relational Algebra

Propositional Logic

Top Venues

Log. Methods Comput. Sci.

Publications

André Frochaux, Lucas Heimberg
An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree. CoRR (2018)
Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt
Hanf normal form for first-order logic with unary counting quantifiers. LICS (2016)
Frederik Harwath, Lucas Heimberg, Nicole Schweikardt
Preservation and decomposition theorems for bounded degree structures. Log. Methods Comput. Sci. 11 (4) (2015)
Frederik Harwath, Lucas Heimberg, Nicole Schweikardt
Preservation and decomposition theorems for bounded degree structures. CSL-LICS (2014)
Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree. LICS (2013)