Ulrik Buchholtz
Orcid: 0000-0002-5944-6838Affiliations:
- University of Nottingham, UK
According to our database1,
Ulrik Buchholtz
authored at least 14 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
2023
Math. Struct. Comput. Sci., 2023
2021
2020
2019
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017
2016