Anton Lorenzen
Orcid: 0000-0003-3538-9688
According to our database1,
Anton Lorenzen
authored at least 11 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
2023
Proc. ACM Program. Lang., January, 2023
2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
2021
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
Proceedings of the Automated Deduction - CADE 28, 2021
2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020