Lucas Heimberg

According to our database, Lucas Heimberg authored at least 5 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Complexity of Normal Forms on Structures of Bounded Degree

Lucas Heimberg

PhD thesis, 2018

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

André Frochaux, Lucas Heimberg

CoRR, 2018

2016

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

Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Preservation and decomposition theorems for bounded degree structures.

Frederik Harwath, Lucas Heimberg, Nicole Schweikardt

Log. Methods Comput. Sci., 2015

2013

An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree.

Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013