
views: 2
Lucas Heimberg
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
None
Papers3 papers
Sort
By YearBy Citation
arXiv: Logic in Computer Science, (2018)
LICS, pp.277-286, (2016)
Logical Methods in Computer Science, no. 4 (2014)
View All