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

2014

Preservation and decomposition theorems for bounded degree structures.

Frederik Harwath, Lucas Heimberg, Nicole Schweikardt

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

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