Martin G. Herold
Affiliations:- Max Planck Institute for Informatics (MPII), Saarbrücken, Germany
According to our database1,
Martin G. Herold
authored at least 3 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
2023
Dagstuhl Reports, 2023
Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023