views: 2

Lucas Heimberg

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers3 papers

Sort

By YearBy Citation

An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree.

André Frochaux,Lucas Heimberg

arXiv: Logic in Computer Science, (2018)

EIBibtex

Hanf normal form for first-order logic with unary counting quantifiers.

Lucas Heimberg,Dietrich Kuske,Nicole Schweikardt

LICS, pp.277-286, (2016)

Cited by9EIBibtex

Preservation and decomposition theorems for bounded degree structures

Frederik Harwath,Lucas Heimberg,Nicole Schweikardt

Logical Methods in Computer Science, no. 4 (2014)

Cited by8EIBibtex

View All

Base Info Papers Patents Projects